FIXME include regions too

matthiaskrgr · Jan 23, 2022 · 8189bac · 8189bac
1 parent 2693832
commit 8189bac
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/compiler/rustc_trait_selection/src/traits/coherence.rs b/compiler/rustc_trait_selection/src/traits/coherence.rs
@@ -408,7 +408,10 @@ fn negative_impl_exists<'cx, 'tcx>(
     let tcx = infcx.tcx;
     o.flip_polarity(tcx)
         .as_ref()
-        .map(|o| selcx.infcx().predicate_must_hold_modulo_regions(o))
+        .map(|o| {
+            // FIXME This isn't quite correct, regions should be included
+            selcx.infcx().predicate_must_hold_modulo_regions(o)
+        })
         .unwrap_or(false)
 }