From 70200ac1907812a0f2abb7e9534e2bc26ae9f103 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 10 Oct 2022 16:51:36 -0400 Subject: [PATCH] Update compiler/rustc_infer/src/infer/canonical/mod.rs --- compiler/rustc_infer/src/infer/canonical/mod.rs | 3 +++ 1 file changed, 3 insertions(+) diff --git a/compiler/rustc_infer/src/infer/canonical/mod.rs b/compiler/rustc_infer/src/infer/canonical/mod.rs index 270c05a2370..5b37dda1233 100644 --- a/compiler/rustc_infer/src/infer/canonical/mod.rs +++ b/compiler/rustc_infer/src/infer/canonical/mod.rs @@ -63,6 +63,9 @@ impl<'cx, 'tcx> InferCtxt<'cx, 'tcx> { // in them, so this code has no effect, but it is looking // forward to the day when we *do* want to carry universes // through into queries. + // + // Instantiate the root-universe content into the current universe, + // and create fresh universes for the higher universes. let universes: IndexVec = std::iter::once(self.universe()) .chain((1..=canonical.max_universe.as_u32()).map(|_| self.create_next_universe())) .collect();