pub(crate) trait ToUniverseInfo<'tcx> { fn to_universe_info(self, base_universe: UniverseIndex) -> UniverseInfo<'tcx>; }