Trait rustc_middle::ty::InferCtxtLike
source · 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>;
}