1 // MIR for `foo` 0 mir_map
3 fn foo(_1: [(Never, u32); 1]) -> u32 {
4 debug xs => _1; // in scope 0 at $DIR/issue-72181.rs:16:8: 16:10
5 let mut _0: u32; // return place in scope 0 at $DIR/issue-72181.rs:16:34: 16:37
6 let _2: usize; // in scope 0 at $DIR/issue-72181.rs:16:43: 16:44
7 let mut _3: usize; // in scope 0 at $DIR/issue-72181.rs:16:40: 16:45
8 let mut _4: bool; // in scope 0 at $DIR/issue-72181.rs:16:40: 16:45
11 StorageLive(_2); // scope 0 at $DIR/issue-72181.rs:16:43: 16:44
12 _2 = const 0_usize; // scope 0 at $DIR/issue-72181.rs:16:43: 16:44
13 _3 = Len(_1); // scope 0 at $DIR/issue-72181.rs:16:40: 16:45
14 _4 = Lt(_2, _3); // scope 0 at $DIR/issue-72181.rs:16:40: 16:45
15 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:16:40: 16:45
19 _0 = (_1[_2].1: u32); // scope 0 at $DIR/issue-72181.rs:16:40: 16:47
20 StorageDead(_2); // scope 0 at $DIR/issue-72181.rs:16:48: 16:49
21 return; // scope 0 at $DIR/issue-72181.rs:16:49: 16:49
25 resume; // scope 0 at $DIR/issue-72181.rs:16:1: 16:49