pub type AliasTy = AliasTy<Interner>;
enum AliasTy { Projection(ProjectionTy<Interner>), Opaque(OpaqueTy<Interner>), }
An associated type projection.
An opaque type.