Restore 78628 with optimisations enabled

Alexendoo · Alexendoo · commit b5763d78a996 · 2021-03-02T14:59:02.000Z
diff --git a/ices/78628.sh b/ices/78628.sh
@@ -1,6 +1,6 @@
 #!/bin/bash
 
-rustc -Zunsound-mir-opts - << EOF
+rustc -Zunsound-mir-opts -C opt-level=3 - << EOF
 // run-pass
 
 #![allow(dead_code)]
