- // MIR for `main` before Inline + // MIR for `main` after Inline fn main() -> () { let mut _0: (); // return place in scope 0 at $DIR/cycle.rs:16:11: 16:11 let _1: (); // in scope 0 at $DIR/cycle.rs:17:5: 17:9 bb0: { StorageLive(_1); // scope 0 at $DIR/cycle.rs:17:5: 17:9 _1 = f::(g) -> bb1; // scope 0 at $DIR/cycle.rs:17:5: 17:9 // mir::Constant // + span: $DIR/cycle.rs:17:5: 17:6 // + literal: Const { ty: fn(fn() {g}) {f::}, val: Value(Scalar()) } // mir::Constant // + span: $DIR/cycle.rs:17:7: 17:8 // + literal: Const { ty: fn() {g}, val: Value(Scalar()) } } bb1: { StorageDead(_1); // scope 0 at $DIR/cycle.rs:17:9: 17:10 _0 = const (); // scope 0 at $DIR/cycle.rs:16:11: 18:2 return; // scope 0 at $DIR/cycle.rs:18:2: 18:2 } }