do_normalize_predicates: add delay_span_bug

2020-04-07 00:19:36 +02:00 · 2020-04-07 00:19:36 +02:00 · fca7d165be
commit fca7d165be
parent 03d66a06e4
1 changed files with 1 additions and 1 deletions
--- a/src/librustc_trait_selection/traits/mod.rs
+++ b/src/librustc_trait_selection/traits/mod.rs
@ -260,7 +260,7 @@ fn do_normalize_predicates<'tcx>(
            }
        };
        if predicates.needs_infer() {
-            // FIXME: shouldn't we, you know, actually report an error here? or an ICE?
+            tcx.sess.delay_span_bug(span, "encountered inference variables after `fully_resolve`");
            Err(ErrorReported)
        } else {
            Ok(predicates)