fn max_universe_inner<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeFoldable<I>, const VISIT_PLACEHOLDER: bool, const VISIT_INFER: bool>(
infcx: &Infcx,
t: T,
) -> UniverseIndexfn max_universe_inner<Infcx: InferCtxtLike<Interner = I>, I: Interner, T: TypeFoldable<I>, const VISIT_PLACEHOLDER: bool, const VISIT_INFER: bool>(
infcx: &Infcx,
t: T,
) -> UniverseIndex