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