Trait rustc_type_ir::inherent::AliasTy

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

Required Methods

fn new( interner: I, trait_def_id: I::DefId, args: impl IntoIterator<Item: Into<I::GenericArg>> ) -> Self

fn def_id(self) -> I::DefId

fn args(self) -> I::GenericArgs

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

fn self_ty(self) -> I::Ty

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

Object Safety

This trait is not object safe.

Implementors