Trait rustc_type_ir::structural_impls::InferCtxtLike

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>;
}

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>

Implementations on Foreign Types

impl<I: Interner> InferCtxtLike<I> for Infallible

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

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

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

Implementors