1 - // MIR for `bar` before RevealAll
2 + // MIR for `bar` after RevealAll
5 debug _baz => _1; // in scope 0 at $DIR/issue-78442.rs:9:5: 9:9
6 let mut _0: (); // return place in scope 0 at $DIR/issue-78442.rs:10:3: 10:3
7 let _2: (); // in scope 0 at $DIR/issue-78442.rs:11:5: 11:17
8 - let mut _3: &impl std::ops::Fn<()>; // in scope 0 at $DIR/issue-78442.rs:11:5: 11:15
9 - let _4: impl std::ops::Fn<()>; // in scope 0 at $DIR/issue-78442.rs:11:5: 11:15
10 + let mut _3: &fn() {foo}; // in scope 0 at $DIR/issue-78442.rs:11:5: 11:15
11 + let _4: fn() {foo}; // in scope 0 at $DIR/issue-78442.rs:11:5: 11:15
12 let mut _5: (); // in scope 0 at $DIR/issue-78442.rs:11:5: 11:17
15 StorageLive(_2); // scope 0 at $DIR/issue-78442.rs:11:5: 11:17
16 StorageLive(_3); // scope 0 at $DIR/issue-78442.rs:11:5: 11:15
17 StorageLive(_4); // scope 0 at $DIR/issue-78442.rs:11:5: 11:15
18 _4 = hide_foo() -> [return: bb1, unwind: bb4]; // scope 0 at $DIR/issue-78442.rs:11:5: 11:15
20 // + span: $DIR/issue-78442.rs:11:5: 11:13
21 // + literal: Const { ty: fn() -> impl std::ops::Fn<()> {hide_foo}, val: Value(Scalar(<ZST>)) }
25 _3 = &_4; // scope 0 at $DIR/issue-78442.rs:11:5: 11:15
26 StorageLive(_5); // scope 0 at $DIR/issue-78442.rs:11:5: 11:17
27 nop; // scope 0 at $DIR/issue-78442.rs:11:5: 11:17
28 _2 = <impl Fn<()> as Fn<()>>::call(move _3, move _5) -> [return: bb2, unwind: bb4]; // scope 0 at $DIR/issue-78442.rs:11:5: 11:17
30 // + span: $DIR/issue-78442.rs:11:5: 11:15
31 // + literal: Const { ty: for<'r> extern "rust-call" fn(&'r impl std::ops::Fn<()>, ()) -> <impl std::ops::Fn<()> as std::ops::FnOnce<()>>::Output {<impl std::ops::Fn<()> as std::ops::Fn<()>>::call}, val: Value(Scalar(<ZST>)) }
35 StorageDead(_5); // scope 0 at $DIR/issue-78442.rs:11:16: 11:17
36 StorageDead(_3); // scope 0 at $DIR/issue-78442.rs:11:16: 11:17
37 StorageDead(_4); // scope 0 at $DIR/issue-78442.rs:11:17: 11:18
38 StorageDead(_2); // scope 0 at $DIR/issue-78442.rs:11:17: 11:18
39 _0 = const (); // scope 0 at $DIR/issue-78442.rs:10:3: 12:2
40 drop(_1) -> [return: bb3, unwind: bb5]; // scope 0 at $DIR/issue-78442.rs:12:1: 12:2
44 return; // scope 0 at $DIR/issue-78442.rs:12:2: 12:2
48 drop(_1) -> bb5; // scope 0 at $DIR/issue-78442.rs:12:1: 12:2
52 resume; // scope 0 at $DIR/issue-78442.rs:7:1: 12:2