instantiate hidden types in root universe

This commit is contained in:
Ali MJ Al-Nasrawy 2023-06-16 12:33:11 +00:00
parent 80917360d3
commit a72013f7f0
5 changed files with 135 additions and 3 deletions

View file

@ -1474,6 +1474,7 @@ impl<'tcx> InferCtxt<'tcx> {
/// universes. Updates `self.universe` to that new universe.
pub fn create_next_universe(&self) -> ty::UniverseIndex {
let u = self.universe.get().next_universe();
debug!("create_next_universe {u:?}");
self.universe.set(u);
u
}