Check that universe can name other universe instead of equality

rust-lang · Aug 25, 2023 · e2efb6a · e2efb6a
1 parent 78da436
commit e2efb6a
Showing 1 changed file with 5 additions and 4 deletions.
diff --git a/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs b/compiler/rustc_infer/src/infer/lexical_region_resolve/mod.rs
@@ -215,11 +215,12 @@ impl<'cx, 'tcx> LexicalResolver<'cx, 'tcx> {
                             }
                             VarValue::Value(cur_region) => {
                                 let lub = match *cur_region {
-                                    // If the empty and placeholder regions are in the same universe,
-                                    // then the LUB is the Placeholder region (which is the cur_region).
-                                    // If they are not in the same universe, the LUB is the Static lifetime.
+                                    // If this empty region is from a universe that can name the
+                                    // placeholder universe, then the LUB is the Placeholder region
+                                    // (which is the cur_region). Otherwise, the LUB is the Static
+                                    // lifetime.
                                     RePlaceholder(placeholder)
-                                        if a_universe != placeholder.universe =>
+                                        if !a_universe.can_name(placeholder.universe) =>
                                     {
                                         self.tcx().lifetimes.re_static
                                     }