// MIR for `signy` after built | |
fn signy(_1: SignedAroundZero) -> i16 { | |
debug x => _1; | |
let mut _0: i16; | |
let _2: SignedAroundZero; | |
let mut _3: i16; | |
let mut _4: u16; | |
let mut _5: bool; | |
let mut _6: bool; | |
let mut _7: bool; | |
bb0: { | |
StorageLive(_2); | |
_2 = move _1; | |
_3 = discriminant(_2); | |
_4 = copy _3 as u16 (IntToInt); | |
_5 = Ge(copy _4, const 65534_u16); | |
_6 = Le(copy _4, const 2_u16); | |
_7 = BitOr(move _5, move _6); | |
assume(move _7); | |
_0 = move _3 as i16 (IntToInt); | |
StorageDead(_2); | |
return; | |
} | |
} |