// MIR for `offsetty` after built | |
fn offsetty(_1: NotStartingAtZero) -> u32 { | |
debug x => _1; | |
let mut _0: u32; | |
let _2: NotStartingAtZero; | |
let mut _3: isize; | |
let mut _4: u8; | |
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 u8 (IntToInt); | |
_5 = Ge(copy _4, const 4_u8); | |
_6 = Le(copy _4, const 8_u8); | |
_7 = BitAnd(move _5, move _6); | |
assume(move _7); | |
_0 = move _3 as u32 (IntToInt); | |
StorageDead(_2); | |
return; | |
} | |
} |