]>
Commit | Line | Data |
---|---|---|
487cf647 | 1 | // MIR for `hey` after built |
f2b60f7d FG |
2 | |
3 | fn hey(_1: &[T]) -> () { | |
487cf647 FG |
4 | debug it => _1; // in scope 0 at $DIR/issue_91633.rs:+0:12: +0:14 |
5 | let mut _0: (); // return place in scope 0 at $DIR/issue_91633.rs:+1:2: +1:2 | |
6 | let mut _2: &<[T] as std::ops::Index<usize>>::Output; // in scope 0 at $DIR/issue_91633.rs:+4:14: +4:20 | |
7 | let _3: &<[T] as std::ops::Index<usize>>::Output; // in scope 0 at $DIR/issue_91633.rs:+4:15: +4:20 | |
8 | let mut _4: &[T]; // in scope 0 at $DIR/issue_91633.rs:+4:15: +4:17 | |
f2b60f7d FG |
9 | scope 1 { |
10 | } | |
11 | ||
12 | bb0: { | |
487cf647 FG |
13 | StorageLive(_2); // scope 0 at $DIR/issue_91633.rs:+4:14: +4:20 |
14 | StorageLive(_3); // scope 0 at $DIR/issue_91633.rs:+4:15: +4:20 | |
15 | StorageLive(_4); // scope 0 at $DIR/issue_91633.rs:+4:15: +4:17 | |
16 | _4 = &(*_1); // scope 0 at $DIR/issue_91633.rs:+4:15: +4:17 | |
17 | _3 = <[T] as Index<usize>>::index(move _4, const 0_usize) -> [return: bb1, unwind: bb2]; // scope 0 at $DIR/issue_91633.rs:+4:15: +4:20 | |
f2b60f7d | 18 | // mir::Constant |
487cf647 | 19 | // + span: $DIR/issue_91633.rs:7:15: 7:20 |
2b03887a | 20 | // + literal: Const { ty: for<'a> fn(&'a [T], usize) -> &'a <[T] as Index<usize>>::Output {<[T] as Index<usize>>::index}, val: Value(<ZST>) } |
f2b60f7d FG |
21 | } |
22 | ||
23 | bb1: { | |
487cf647 FG |
24 | StorageDead(_4); // scope 0 at $DIR/issue_91633.rs:+4:19: +4:20 |
25 | _2 = &(*_3); // scope 0 at $DIR/issue_91633.rs:+4:14: +4:20 | |
26 | StorageDead(_2); // scope 0 at $DIR/issue_91633.rs:+4:20: +4:21 | |
27 | _0 = const (); // scope 0 at $DIR/issue_91633.rs:+3:2: +5:3 | |
28 | StorageDead(_3); // scope 0 at $DIR/issue_91633.rs:+5:2: +5:3 | |
29 | return; // scope 0 at $DIR/issue_91633.rs:+5:3: +5:3 | |
f2b60f7d FG |
30 | } |
31 | ||
32 | bb2 (cleanup): { | |
487cf647 | 33 | resume; // scope 0 at $DIR/issue_91633.rs:+0:1: +5:3 |
f2b60f7d FG |
34 | } |
35 | } |