Merge pull request #479 from JohnTitor/readd-76375

Readd issue-76375 with a tweak
rust-lang · Sep 30, 2020 · 560619c · 560619c
2 parents 238aae1 + 956e92e
commit 560619c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fixed/76375.sh → ices/76375.sh b/fixed/76375.sh → ices/76375.sh
@@ -29,5 +29,5 @@ pub async fn h() {}
 
 EOF
 
-rustc --edition=2018 -Zmir-opt-level=2 x.rs
+rustc --edition=2018 -Zmir-opt-level=2 -Zunsound-mir-opts x.rs
 rustc --edition=2018 -Zmir-opt-level=2 y.rs --extern x -L.