Visit unevaluated constants in super_body

src/librustc_middle/mir/visit.rs

@@ -288,6 +288,11 @@ macro_rules! type_annotations {
                 }
 
                 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,