2023-04-12 08:04:41 -05:00
|
|
|
// MIR for `main` after AbortUnwindingCalls
|
|
|
|
|
|
|
|
fn main() -> () {
|
2023-06-06 08:47:00 -05:00
|
|
|
let mut _0: ();
|
|
|
|
let mut _1: !;
|
|
|
|
let mut _2: ();
|
2023-04-12 08:04:41 -05:00
|
|
|
|
|
|
|
bb0: {
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_1);
|
|
|
|
StorageLive(_2);
|
|
|
|
_2 = ();
|
|
|
|
_1 = const_eval_select::<(), fn() -> ! {ow_ct}, fn() -> ! {ow_ct}, !>(move _2, ow_ct, ow_ct) -> unwind unreachable;
|
2023-04-12 08:04:41 -05:00
|
|
|
}
|
|
|
|
}
|