Couple of changes to run rustc in miri #136580
+24
−12
Merged
Loading