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§

Required Methods§

Implementors§