Trait rustc_middle::ty::inherent::AliasTy

pub trait AliasTy<I>: Sized + Copy + DebugWithInfcx<I> + Hash + Eq
where
    I: Interner,
{
    // Required methods
    fn new(
        interner: I,
        trait_def_id: <I as Interner>::DefId,
        args: impl IntoIterator>
    ) -> Self
       where <impl IntoIterator as IntoIterator>::Item: Into<<I as Interner>::GenericArg>;
    fn def_id(self) -> <I as Interner>::DefId;
    fn args(self) -> <I as Interner>::GenericArgs;
    fn trait_def_id(self, interner: I) -> <I as Interner>::DefId;
    fn self_ty(self) -> <I as Interner>::Ty;
    fn with_self_ty(self, tcx: I, self_ty: <I as Interner>::Ty) -> Self;
}

Required Methods

fn new( interner: I, trait_def_id: <I as Interner>::DefId, args: impl IntoIterator> ) -> Self

where <impl IntoIterator as IntoIterator>::Item: Into<<I as Interner>::GenericArg>,

fn def_id(self) -> <I as Interner>::DefId

fn args(self) -> <I as Interner>::GenericArgs

fn trait_def_id(self, interner: I) -> <I as Interner>::DefId

fn self_ty(self) -> <I as Interner>::Ty

fn with_self_ty(self, tcx: I, self_ty: <I as Interner>::Ty) -> Self

Object Safety

This trait is not object safe.

Implementors

impl<'tcx> AliasTy<TyCtxt<'tcx>> for AliasTy<'tcx>