src/test/mir-opt/issue_91633.fun.built.after.mir

   1 // MIR for `fun` after built
   2
   3 fn fun(_1: &[T]) -> &T {
   4     debug it => _1;                      // in scope 0 at $DIR/issue_91633.rs:+0:12: +0:14
   5     let mut _0: &T;                      // return place in scope 0 at $DIR/issue_91633.rs:+0:25: +0:27
   6     let _2: &T;                          // in scope 0 at $DIR/issue_91633.rs:+2:10: +2:11
   7     let _3: usize;                       // in scope 0 at $DIR/issue_91633.rs:+2:18: +2:19
   8     let mut _4: usize;                   // in scope 0 at $DIR/issue_91633.rs:+2:15: +2:20
   9     let mut _5: bool;                    // in scope 0 at $DIR/issue_91633.rs:+2:15: +2:20
  10     scope 1 {
  11         debug f => _2;                   // in scope 1 at $DIR/issue_91633.rs:+2:10: +2:11
  12     }
  13
  14     bb0: {
  15         StorageLive(_2);                 // scope 0 at $DIR/issue_91633.rs:+2:10: +2:11
  16         StorageLive(_3);                 // scope 0 at $DIR/issue_91633.rs:+2:18: +2:19
  17         _3 = const 0_usize;              // scope 0 at $DIR/issue_91633.rs:+2:18: +2:19
  18         _4 = Len((*_1));                 // scope 0 at $DIR/issue_91633.rs:+2:15: +2:20
  19         _5 = Lt(_3, _4);                 // scope 0 at $DIR/issue_91633.rs:+2:15: +2:20
  20         assert(move _5, "index out of bounds: the length is {} but the index is {}", move _4, _3) -> [success: bb1, unwind: bb2]; // scope 0 at $DIR/issue_91633.rs:+2:15: +2:20
  21     }
  22
  23     bb1: {
  24         _2 = &(*_1)[_3];                 // scope 0 at $DIR/issue_91633.rs:+2:14: +2:20
  25         FakeRead(ForLet(None), _2);      // scope 0 at $DIR/issue_91633.rs:+2:10: +2:11
  26         _0 = &(*_2);                     // scope 1 at $DIR/issue_91633.rs:+3:6: +3:7
  27         StorageDead(_3);                 // scope 0 at $DIR/issue_91633.rs:+4:2: +4:3
  28         StorageDead(_2);                 // scope 0 at $DIR/issue_91633.rs:+4:2: +4:3
  29         return;                          // scope 0 at $DIR/issue_91633.rs:+4:3: +4:3
  30     }
  31
  32     bb2 (cleanup): {
  33         resume;                          // scope 0 at $DIR/issue_91633.rs:+0:1: +4:3
  34     }
  35 }