Trait rustc_type_ir::InferCtxtLike

source · 
pub trait InferCtxtLike {
    type Interner: Interner;

    // Required methods
    fn universe_of_ty(
        &self,
        ty: <Self::Interner as Interner>::InferTy
    ) -> Option<UniverseIndex>;
    fn universe_of_lt(
        &self,
        lt: <Self::Interner as Interner>::InferRegion
    ) -> Option<UniverseIndex>;
    fn universe_of_ct(
        &self,
        ct: <Self::Interner as Interner>::InferConst
    ) -> Option<UniverseIndex>;
}

Required Associated Types§

source

type Interner: Interner

Required Methods§

source

fn universe_of_ty( &self, ty: <Self::Interner as Interner>::InferTy ) -> Option<UniverseIndex>

source

fn universe_of_lt( &self, lt: <Self::Interner as Interner>::InferRegion ) -> Option<UniverseIndex>

source

fn universe_of_ct( &self, ct: <Self::Interner as Interner>::InferConst ) -> Option<UniverseIndex>

Implementors§