Trait rustc_middle::ty::InferCtxtLike

pub trait InferCtxtLike<I>where
    I: Interner,{
    // Required methods
    fn universe_of_ty(
        &self,
        ty: <I as Interner>::InferTy
    ) -> Option<UniverseIndex>;
    fn universe_of_lt(
        &self,
        lt: <I as Interner>::RegionVid
    ) -> Option<UniverseIndex>;
    fn universe_of_ct(
        &self,
        ct: <I as Interner>::InferConst
    ) -> Option<UniverseIndex>;
}

Required Methods

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

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

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

Implementors