Function max_universe_of_placeholders 

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

The largest universe a placeholder was from in t