| // MIR for `slice_index_usize` after PreCodegen | |
| fn slice_index_usize(_1: &[u32], _2: usize) -> u32 { | |
| debug slice => _1; | |
| debug index => _2; | |
| let mut _0: u32; | |
| let mut _3: usize; | |
| let mut _4: bool; | |
| bb0: { | |
| _3 = PtrMetadata(copy _1); | |
| _4 = Lt(copy _2, copy _3); | |
| assert(move _4, "index out of bounds: the length is {} but the index is {}", move _3, copy _2) -> [success: bb1, unwind continue]; | |
| } | |
| bb1: { | |
| _0 = copy (*_1)[_2]; | |
| return; | |
| } | |
| } |