1 - // MIR for `main` before Inline
2 + // MIR for `main` after Inline
5 let mut _0: (); // return place in scope 0 at $DIR/inline-specialization.rs:4:11: 4:11
6 let _1: u32; // in scope 0 at $DIR/inline-specialization.rs:5:9: 5:10
8 debug x => _1; // in scope 1 at $DIR/inline-specialization.rs:5:9: 5:10
10 + scope 2 (inlined <Vec<()> as Foo>::bar) { // at $DIR/inline-specialization.rs:5:13: 5:38
14 StorageLive(_1); // scope 0 at $DIR/inline-specialization.rs:5:9: 5:10
15 - _1 = <Vec<()> as Foo>::bar() -> bb1; // scope 0 at $DIR/inline-specialization.rs:5:13: 5:38
17 - // + span: $DIR/inline-specialization.rs:5:13: 5:36
18 - // + literal: Const { ty: fn() -> u32 {<Vec<()> as Foo>::bar}, val: Value(Scalar(<ZST>)) }
22 + _1 = const 123_u32; // scope 2 at $DIR/inline-specialization.rs:14:31: 14:34
23 _0 = const (); // scope 0 at $DIR/inline-specialization.rs:4:11: 6:2
24 StorageDead(_1); // scope 0 at $DIR/inline-specialization.rs:6:1: 6:2
25 return; // scope 0 at $DIR/inline-specialization.rs:6:2: 6:2
29 + resume; // scope 0 at $DIR/inline-specialization.rs:4:1: 6:2