1 - // MIR for `main` before ConstProp
2 + // MIR for `main` after ConstProp
5 let mut _0: (); // return place in scope 0 at $DIR/repeat.rs:+0:11: +0:11
6 let _1: u32; // in scope 0 at $DIR/repeat.rs:+1:9: +1:10
7 let mut _2: u32; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
8 let mut _3: [u32; 8]; // in scope 0 at $DIR/repeat.rs:+1:18: +1:25
9 let _4: usize; // in scope 0 at $DIR/repeat.rs:+1:26: +1:27
10 let mut _5: usize; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
11 let mut _6: bool; // in scope 0 at $DIR/repeat.rs:+1:18: +1:28
13 debug x => _1; // in scope 1 at $DIR/repeat.rs:+1:9: +1:10
17 StorageLive(_1); // scope 0 at $DIR/repeat.rs:+1:9: +1:10
18 StorageLive(_2); // scope 0 at $DIR/repeat.rs:+1:18: +1:28
19 StorageLive(_3); // scope 0 at $DIR/repeat.rs:+1:18: +1:25
20 _3 = [const 42_u32; 8]; // scope 0 at $DIR/repeat.rs:+1:18: +1:25
21 StorageLive(_4); // scope 0 at $DIR/repeat.rs:+1:26: +1:27
22 _4 = const 2_usize; // scope 0 at $DIR/repeat.rs:+1:26: +1:27
23 _5 = const 8_usize; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
24 - _6 = Lt(_4, _5); // scope 0 at $DIR/repeat.rs:+1:18: +1:28
25 - assert(move _6, "index out of bounds: the length is {} but the index is {}", move _5, _4) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
26 + _6 = const true; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
27 + assert(const true, "index out of bounds: the length is {} but the index is {}", const 8_usize, const 2_usize) -> bb1; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
31 - _2 = _3[_4]; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
32 - _1 = Add(move _2, const 0_u32); // scope 0 at $DIR/repeat.rs:+1:18: +1:32
33 + _2 = const 42_u32; // scope 0 at $DIR/repeat.rs:+1:18: +1:28
34 + _1 = const 42_u32; // scope 0 at $DIR/repeat.rs:+1:18: +1:32
35 StorageDead(_2); // scope 0 at $DIR/repeat.rs:+1:31: +1:32
36 StorageDead(_4); // scope 0 at $DIR/repeat.rs:+1:32: +1:33
37 StorageDead(_3); // scope 0 at $DIR/repeat.rs:+1:32: +1:33
38 StorageDead(_1); // scope 0 at $DIR/repeat.rs:+2:1: +2:2
39 return; // scope 0 at $DIR/repeat.rs:+2:2: +2:2