Trait rustc_middle::ty::InferCtxtLike

pub trait InferCtxtLike {
    type Interner: Interner;

    // Required methods
    fn universe_of_ty(&self, ty: InferTy) -> Option<UniverseIndex>;
    fn universe_of_lt(
        &self,
        lt: <Self::Interner as Interner>::InferRegion
    ) -> Option<UniverseIndex>;
    fn universe_of_ct(&self, ct: InferConst) -> Option<UniverseIndex>;
}

Required Associated Types

type Interner: Interner

Required Methods

fn universe_of_ty(&self, ty: InferTy) -> Option<UniverseIndex>

fn universe_of_lt( &self, lt: <Self::Interner as Interner>::InferRegion ) -> Option<UniverseIndex>

fn universe_of_ct(&self, ct: InferConst) -> Option<UniverseIndex>

Implementors