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>;
}