// MIR for `assume_place` after built
fn assume_place(_1: (bool, u8)) -> () {
let mut _0: ();
bb0: {
assume(copy (_1.0: bool));
return;
}