From fca7d165be9df4e6febaa849482a696a5d2e12af Mon Sep 17 00:00:00 2001
From: Bastian Kauschke <bastian_kauschke@hotmail.de>
Date: Tue, 7 Apr 2020 00:19:36 +0200
Subject: [PATCH] do_normalize_predicates: add delay_span_bug

---
 src/librustc_trait_selection/traits/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/librustc_trait_selection/traits/mod.rs b/src/librustc_trait_selection/traits/mod.rs
index b8028a19c8fa..193ca36e0fd0 100644
--- 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)