2020-11-08 18:00:00 -06:00
|
|
|
- // MIR for `f` before Inline
|
|
|
|
+ // MIR for `f` after Inline
|
|
|
|
|
|
|
|
fn f() -> () {
|
2023-06-06 08:47:00 -05:00
|
|
|
let mut _0: ();
|
|
|
|
let mut _1: !;
|
|
|
|
let _2: !;
|
|
|
|
+ scope 1 (inlined sleep) {
|
2020-11-08 18:00:00 -06:00
|
|
|
+ }
|
|
|
|
|
|
|
|
bb0: {
|
2023-06-06 08:47:00 -05:00
|
|
|
StorageLive(_2);
|
2023-06-23 11:53:09 -05:00
|
|
|
- _2 = sleep() -> unwind continue;
|
2023-06-06 08:47:00 -05:00
|
|
|
+ goto -> bb1;
|
2020-11-08 18:00:00 -06:00
|
|
|
+ }
|
|
|
|
+
|
|
|
|
+ bb1: {
|
2023-06-06 08:47:00 -05:00
|
|
|
+ goto -> bb1;
|
2020-11-08 18:00:00 -06:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|