| // MIR for `foo` after built |
| |
| fn foo(_1: [(Never, u32); 1]) -> u32 { |
| debug xs => _1; // in scope 0 at $DIR/issue_72181.rs:+0:8: +0:10 |
| let mut _0: u32; // return place in scope 0 at $DIR/issue_72181.rs:+0:34: +0:37 |
| let _2: usize; // in scope 0 at $DIR/issue_72181.rs:+0:43: +0:44 |
| let mut _3: usize; // in scope 0 at $DIR/issue_72181.rs:+0:40: +0:45 |
| let mut _4: bool; // in scope 0 at $DIR/issue_72181.rs:+0:40: +0:45 |
| |
| bb0: { |
| StorageLive(_2); // scope 0 at $DIR/issue_72181.rs:+0:43: +0:44 |
| _2 = const 0_usize; // scope 0 at $DIR/issue_72181.rs:+0:43: +0:44 |
| _3 = Len(_1); // scope 0 at $DIR/issue_72181.rs:+0:40: +0:45 |
| _4 = Lt(_2, _3); // scope 0 at $DIR/issue_72181.rs:+0:40: +0:45 |
| assert(move _4, "index out of bounds: the length is {} but the index is {}", move _3, _2) -> [success: bb1, unwind: bb2]; // scope 0 at $DIR/issue_72181.rs:+0:40: +0:45 |
| } |
| |
| bb1: { |
| _0 = (_1[_2].1: u32); // scope 0 at $DIR/issue_72181.rs:+0:40: +0:47 |
| StorageDead(_2); // scope 0 at $DIR/issue_72181.rs:+0:48: +0:49 |
| return; // scope 0 at $DIR/issue_72181.rs:+0:49: +0:49 |
| } |
| |
| bb2 (cleanup): { |
| resume; // scope 0 at $DIR/issue_72181.rs:+0:1: +0:49 |
| } |
| } |