// MIR for `ub_if_b` after PreCodegen | |
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 unreachable_unchecked) { | |
scope 2 { | |
scope 3 (inlined unreachable_unchecked::runtime) { | |
} | |
} | |
} | |
bb0: { | |
_2 = discriminant(_1); | |
_3 = Eq(_2, const 0_isize); | |
assume(move _3); | |
_0 = move _1; | |
return; | |
} | |
} |