pub fn max_universe_of_placeholders<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeFoldable<I>>(
infcx: &Infcx,
t: T,
) -> UniverseIndexExpand description
The largest universe a placeholder was from in t
pub fn max_universe_of_placeholders<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeFoldable<I>>(
infcx: &Infcx,
t: T,
) -> UniverseIndexThe largest universe a placeholder was from in t