blob: 72d0cf5d1e823948891e901e574a3c9cab73f15f [file] [log] [blame] [edit]
// MIR for `bar` after built
fn bar(_1: Bar) -> usize {
debug bar => _1;
let mut _0: usize;
let _2: Bar;
let mut _3: isize;
let mut _4: u8;
let mut _5: bool;
bb0: {
StorageLive(_2);
_2 = move _1;
_3 = discriminant(_2);
_4 = copy _3 as u8 (IntToInt);
_5 = Le(copy _4, const 1_u8);
assume(move _5);
_0 = move _3 as usize (IntToInt);
StorageDead(_2);
return;
}
}