From 0107cecc01cf28bd298e33b44d6bacba6e4b3d77 Mon Sep 17 00:00:00 2001
From: Santiago Pastorino <spastorino@gmail.com>
Date: Mon, 6 Apr 2020 17:49:49 -0300
Subject: [PATCH] Visit unevaluated constants in super_body

---
 src/librustc_middle/mir/visit.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/librustc_middle/mir/visit.rs b/src/librustc_middle/mir/visit.rs
index 9f8355b0cb0..8d3e862aac5 100644
--- a/src/librustc_middle/mir/visit.rs
+++ b/src/librustc_middle/mir/visit.rs
@@ -288,6 +288,11 @@ macro_rules! make_mir_visitor {
                 }
 
                 self.visit_span(&$($mutability)? body.span);
+
+                for const_ in &$($mutability)? body.uneval_consts {
+                    let location = START_BLOCK.start_location();
+                    self.visit_constant(const_, location);
+                }
             }
 
             fn super_basic_block_data(&mut self,