Type generalization should not look at opaque type in coherence

rust-lang · Nov 21, 2022 · 7301cd7 · 7301cd7
1 parent 11ae334
commit 7301cd7
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/compiler/rustc_infer/src/infer/combine.rs b/compiler/rustc_infer/src/infer/combine.rs
@@ -548,8 +548,7 @@ impl<'tcx> TypeRelation<'tcx> for Generalizer<'_, 'tcx> {
     }
 
     fn mark_ambiguous(&mut self) {
-        // The generalizer always compares types against themselves,
-        // and thus doesn't really take part in coherence.
+        self.infcx.tcx.sess.delay_span_bug(self.cause.span, "opaque types are handled in `tys`");
     }
 
     fn binders<T>(