ICE on invalid MIR

diff --git a/src/librustc_mir/interpret/terminator.rs b/src/librustc_mir/interpret/terminator.rs
index 0134c77808b826b87f09d19fa28b3aedf79fbb5b..50c4a249c63c2741ef8bed3550213a67284b749e 100644 (file)
--- a/src/librustc_mir/interpret/terminator.rs
+++ b/src/librustc_mir/interpret/terminator.rs
@@ -264,10 +264,7 @@ fn eval_fn_call(
 
         match instance.def {
             ty::InstanceDef::Intrinsic(..) => {
-                if caller_abi != Abi::RustIntrinsic && caller_abi != Abi::PlatformIntrinsic {
-                    throw_ub_format!("Rust intrinsic called with an ABI other than \
-                        `RustIntrinsic` and `PlatformIntrinsic`.");
-                }
+                assert!(caller_abi == Abi::RustIntrinsic || caller_abi == Abi::PlatformIntrinsic);
 
                 let old_stack = self.cur_frame();
                 let old_bb = self.frame().block;