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