diff options
| author | Niko Matsakis <niko@alum.mit.edu> | 2022-10-10 16:51:36 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-10 16:51:36 -0400 |
| commit | 70200ac1907812a0f2abb7e9534e2bc26ae9f103 (patch) | |
| tree | c3720ef765e8cfca16ca5e1501bddb593c4b95e4 | |
| parent | f87953f01a5ba5966327055c935cc21eb2fc1762 (diff) | |
| download | rust-70200ac1907812a0f2abb7e9534e2bc26ae9f103.tar.gz rust-70200ac1907812a0f2abb7e9534e2bc26ae9f103.zip | |
Update compiler/rustc_infer/src/infer/canonical/mod.rs
| -rw-r--r-- | compiler/rustc_infer/src/infer/canonical/mod.rs | 3 |
1 files changed, 3 insertions, 0 deletions
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<ty::UniverseIndex, _> = std::iter::once(self.universe()) .chain((1..=canonical.max_universe.as_u32()).map(|_| self.create_next_universe())) .collect(); |