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§

Implementors§