Skip to main content

max_universe_of_infer_vars

rustc_type_ir

Function max_universe_of_infer_vars 

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

The largest universe a variable was from in t