Merge pull request #479 from JohnTitor/readd-76375

Alexendoo · web-flow · commit 560619c15d00 · 2020-09-30T14:11:26.000+01:00
Readd issue-76375 with a tweak
diff --git a/ices/76375.sh b/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.
