about summary refs log tree commit diff
path: root/compiler/rustc_middle/src/mir/tcx.rs
diff options
context:
space:
mode:
authorBen Kimock <kimockb@gmail.com>2024-02-26 21:25:27 -0500
committerBen Kimock <kimockb@gmail.com>2024-03-08 18:53:58 -0500
commit5a93a59fd557f7d93ab0b6cc192c47580951666a (patch)
tree79cc19acc4da1bc5b6fc7dc6cf1c7ad60d1e7737 /compiler/rustc_middle/src/mir/tcx.rs
parent46b180ec2452d388c5d9c14009442e2e0beb01d7 (diff)
downloadrust-5a93a59fd557f7d93ab0b6cc192c47580951666a.tar.gz
rust-5a93a59fd557f7d93ab0b6cc192c47580951666a.zip
Distinguish between library and lang UB in assert_unsafe_precondition
Diffstat (limited to 'compiler/rustc_middle/src/mir/tcx.rs')
-rw-r--r--compiler/rustc_middle/src/mir/tcx.rs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/rustc_middle/src/mir/tcx.rs b/compiler/rustc_middle/src/mir/tcx.rs
index 5bc151de659..0c29fe57d4f 100644
--- a/compiler/rustc_middle/src/mir/tcx.rs
+++ b/compiler/rustc_middle/src/mir/tcx.rs
@@ -194,7 +194,7 @@ impl<'tcx> Rvalue<'tcx> {
             Rvalue::NullaryOp(NullOp::SizeOf | NullOp::AlignOf | NullOp::OffsetOf(..), _) => {
                 tcx.types.usize
             }
-            Rvalue::NullaryOp(NullOp::DebugAssertions, _) => tcx.types.bool,
+            Rvalue::NullaryOp(NullOp::UbCheck(_), _) => tcx.types.bool,
             Rvalue::Aggregate(ref ak, ref ops) => match **ak {
                 AggregateKind::Array(ty) => Ty::new_array(tcx, ty, ops.len() as u64),
                 AggregateKind::Tuple => {