diff --git a/rust-version b/rust-version
index ddc3de9a546..4635ed380aa 100644
--- a/rust-version
+++ b/rust-version
@@ -1 +1 @@
-54b7d21f59a363e53eb1c31d76b40af2ff99321c
+1572c433eed495d0ade41511ae106b180e02851d
diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index cf06a647762..622e237ebb0 100644
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -438,20 +438,20 @@ pub trait EvalContextExt<'mir, 'tcx: 'mir>: crate::MiriEvalContextExt<'mir, 'tcx
                 this.write_scalar(result_ptr, dest)?;
             }
 
-            "panic_if_uninhabited" |
-            "panic_if_zero_invalid" |
-            "panic_if_any_invalid" => {
+            "assert_inhabited" |
+            "assert_zero_valid" |
+            "assert_uninit_valid" => {
                 let ty = substs.type_at(0);
                 let layout = this.layout_of(ty)?;
                 if layout.abi.is_uninhabited() {
                     // Return here because we paniced instead of returning normally from the intrinsic.
                     return this.start_panic(&format!("attempted to instantiate uninhabited type `{}`", ty), unwind);
                 }
-                if intrinsic_name == "panic_if_zero_invalid" && !layout.might_permit_raw_init(this, /*zero:*/ true).unwrap() {
+                if intrinsic_name == "assert_zero_valid" && !layout.might_permit_raw_init(this, /*zero:*/ true).unwrap() {
                     // Return here because we paniced instead of returning normally from the intrinsic.
                     return this.start_panic(&format!("attempted to zero-initialize type `{}`, which is invalid", ty), unwind);
                 }
-                if intrinsic_name == "panic_if_any_invalid" && !layout.might_permit_raw_init(this, /*zero:*/ false).unwrap() {
+                if intrinsic_name == "assert_uninit_valid" && !layout.might_permit_raw_init(this, /*zero:*/ false).unwrap() {
                     // Return here because we paniced instead of returning normally from the intrinsic.
                     return this.start_panic(&format!("attempted to leave type `{}` uninitialized, which is invalid", ty), unwind);
                 }
diff --git a/tests/compile-fail/never_transmute_humans.rs b/tests/compile-fail/never_transmute_humans.rs
index 2e0d4e9bdf3..8a7d7bfcc68 100644
--- a/tests/compile-fail/never_transmute_humans.rs
+++ b/tests/compile-fail/never_transmute_humans.rs
@@ -7,6 +7,6 @@ struct Human;
 
 fn main() {
     let _x: ! = unsafe {
-        std::mem::transmute::<Human, !>(Human) //~ ERROR entering unreachable code
+        std::mem::transmute::<Human, !>(Human) //~ ERROR transmuting to uninhabited
     };
 }