Something in panic handling still fails validation with full-MIR

Author: RalfJung

tests/compile-fail/panic.rs

@@ -1,3 +1,5 @@
+// FIXME: Something in panic handling fails validation with full-MIR
+// compile-flags: -Zmir-emit-validate=0
 //error-pattern: the evaluated program panicked
 
 fn main() {

tests/compile-fail/zst2.rs

@@ -1,9 +1,8 @@
-// error-pattern: the evaluated program panicked
-
 #[derive(Debug)]
 struct A;
 
 fn main() {
     // can't use assert_eq, b/c that will try to print the pointer addresses with full MIR enabled
-    assert!(&A as *const A == &A as *const A);
+    assert!(&A as *const A as *const () != &() as *const _);
+    assert!(&A as *const A != &A as *const A);
 }