Visit unevaluated constants in super_body

spastorino · spastorino · commit 0107cecc01cf · 2020-04-23T16:50:17.000-03:00
diff --git 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,

Original file line number	Diff line number	Diff line change
`@@ -288,6 +288,11 @@ macro_rules! make_mir_visitor {`
`288`	`288`	`}`
`289`	`289`
`290`	`290`	`self.visit_span(&$($mutability)? body.span);`
	`291`	`+`
	`292`	`+ for const_ in &$($mutability)? body.uneval_consts {`
	`293`	`+ let location = START_BLOCK.start_location();`
	`294`	`+ self.visit_constant(const_, location);`
	`295`	`+ }`
`291`	`296`	`}`
`292`	`297`
`293`	`298`	`fn super_basic_block_data(&mut self,`