|
2 | 2 | + // MIR for `foo` after Inline
|
3 | 3 |
|
4 | 4 | fn foo() -> () {
|
5 |
| - let mut _0: (); // return place in scope 0 at $DIR/caller-with-trivial-bound.rs:15:1: 15:1 |
6 |
| - let mut _1: <IntFactory as Factory<T>>::Item; // in scope 0 at $DIR/caller-with-trivial-bound.rs:18:9: 18:14 |
| 5 | + let mut _0: (); // return place in scope 0 at $DIR/caller-with-trivial-bound.rs:17:1: 17:1 |
| 6 | + let mut _1: <IntFactory as Factory<T>>::Item; // in scope 0 at $DIR/caller-with-trivial-bound.rs:20:9: 20:14 |
7 | 7 | scope 1 {
|
8 |
| - debug x => _1; // in scope 1 at $DIR/caller-with-trivial-bound.rs:18:9: 18:14 |
| 8 | + debug x => _1; // in scope 1 at $DIR/caller-with-trivial-bound.rs:20:9: 20:14 |
9 | 9 | }
|
10 | 10 |
|
11 | 11 | bb0: {
|
12 |
| - StorageLive(_1); // scope 0 at $DIR/caller-with-trivial-bound.rs:18:9: 18:14 |
13 |
| - _1 = bar::<T>() -> bb1; // scope 0 at $DIR/caller-with-trivial-bound.rs:18:51: 18:61 |
| 12 | + StorageLive(_1); // scope 0 at $DIR/caller-with-trivial-bound.rs:20:9: 20:14 |
| 13 | + _1 = bar::<T>() -> bb1; // scope 0 at $DIR/caller-with-trivial-bound.rs:20:51: 20:61 |
14 | 14 | // mir::Constant
|
15 |
| - // + span: $DIR/caller-with-trivial-bound.rs:18:51: 18:59 |
| 15 | + // + span: $DIR/caller-with-trivial-bound.rs:20:51: 20:59 |
16 | 16 | // + literal: Const { ty: fn() -> <IntFactory as Factory<T>>::Item {bar::<T>}, val: Value(Scalar(<ZST>)) }
|
17 | 17 | }
|
18 | 18 |
|
19 | 19 | bb1: {
|
20 |
| - _0 = const (); // scope 0 at $DIR/caller-with-trivial-bound.rs:17:1: 19:2 |
21 |
| - drop(_1) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/caller-with-trivial-bound.rs:19:1: 19:2 |
| 20 | + _0 = const (); // scope 0 at $DIR/caller-with-trivial-bound.rs:19:1: 21:2 |
| 21 | + drop(_1) -> [return: bb2, unwind: bb3]; // scope 0 at $DIR/caller-with-trivial-bound.rs:21:1: 21:2 |
22 | 22 | }
|
23 | 23 |
|
24 | 24 | bb2: {
|
25 |
| - StorageDead(_1); // scope 0 at $DIR/caller-with-trivial-bound.rs:19:1: 19:2 |
26 |
| - return; // scope 0 at $DIR/caller-with-trivial-bound.rs:19:2: 19:2 |
| 25 | + StorageDead(_1); // scope 0 at $DIR/caller-with-trivial-bound.rs:21:1: 21:2 |
| 26 | + return; // scope 0 at $DIR/caller-with-trivial-bound.rs:21:2: 21:2 |
27 | 27 | }
|
28 | 28 |
|
29 | 29 | bb3 (cleanup): {
|
30 |
| - resume; // scope 0 at $DIR/caller-with-trivial-bound.rs:14:1: 19:2 |
| 30 | + resume; // scope 0 at $DIR/caller-with-trivial-bound.rs:16:1: 21:2 |
31 | 31 | }
|
32 | 32 | }
|
33 | 33 |
|
0 commit comments