Skip to main content

max_universe

rustc_infer::infer::canonical::ir::region_constraint

Function max_universe 

Source 
pub fn max_universe<Infcx, I, T>(infcx: &Infcx, t: T) -> UniverseIndex
where
    Infcx: InferCtxtLike<Interner = I>,
    I: Interner,
    T: TypeVisitable<I>,
Expand description

The largest universe a variable or placeholder was from in t