Skip to main content

max_universe_of_placeholders

Function max_universe_of_placeholders 

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

The largest universe a placeholder was from in t