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 Fn(); // in scope 0 at $DIR/issue-78442.rs:11:5: 11:15
9 - let _4: impl 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 Fn() {hide_foo}, val: Value(<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 Deinit(_5); // 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
29 + _2 = <fn() {foo} as Fn<()>>::call(move _3, move _5) -> [return: bb2, unwind: bb4]; // scope 0 at $DIR/issue-78442.rs:11:5: 11:17
31 // + span: $DIR/issue-78442.rs:11:5: 11:15
32 - // + literal: Const { ty: for<'r> extern "rust-call" fn(&'r impl Fn(), ()) -> <impl Fn() as FnOnce<()>>::Output {<impl Fn() as Fn<()>>::call}, val: Value(<ZST>) }
33 + // + literal: Const { ty: for<'r> extern "rust-call" fn(&'r fn() {foo}, ()) -> <fn() {foo} as FnOnce<()>>::Output {<fn() {foo} as Fn<()>>::call}, val: Value(<ZST>) }
37 StorageDead(_5); // scope 0 at $DIR/issue-78442.rs:11:16: 11:17
38 StorageDead(_3); // scope 0 at $DIR/issue-78442.rs:11:16: 11:17
39 StorageDead(_4); // scope 0 at $DIR/issue-78442.rs:11:17: 11:18
40 StorageDead(_2); // scope 0 at $DIR/issue-78442.rs:11:17: 11:18
41 _0 = const (); // scope 0 at $DIR/issue-78442.rs:10:3: 12:2
42 drop(_1) -> [return: bb3, unwind: bb5]; // scope 0 at $DIR/issue-78442.rs:12:1: 12:2
46 return; // scope 0 at $DIR/issue-78442.rs:12:2: 12:2
50 drop(_1) -> bb5; // scope 0 at $DIR/issue-78442.rs:12:1: 12:2
54 resume; // scope 0 at $DIR/issue-78442.rs:7:1: 12:2