Rollup merge of #123998 - compiler-errors:opaque-ns, r=davidtwco

Opaque types have no namespace

Opaques are never referenced by name -- even when we have `type X = impl Sized;`, `X` is the name of the type alias, not the opaque.

Author: GuillaumeGomez