blob: 97ac547c6fea1d9ce2a508ffcbc2ab0e1061b424 [file]
// MIR for `ub_if_b` after runtime-optimized
fn ub_if_b(_1: Thing) -> Thing {
debug t => _1;
let mut _0: Thing;
let mut _2: isize;
let mut _3: bool;
scope 1 (inlined #[track_caller] unreachable_unchecked) {
scope 2 (inlined core::ub_checks::check_language_ub) {
scope 3 (inlined core::ub_checks::check_language_ub::runtime) {
}
}
}
bb0: {
_2 = discriminant(_1);
_3 = Eq(copy _2, const 0_isize);
assume(move _3);
_0 = move _1;
return;
}
}