tests/mir-opt/issue_72181_1.f.built.after.mir

   1 // MIR for `f` after built
   2
   3 fn f(_1: Void) -> ! {
   4     debug v => _1;                       // in scope 0 at $DIR/issue_72181_1.rs:+0:6: +0:7
   5     let mut _0: !;                       // return place in scope 0 at $DIR/issue_72181_1.rs:+0:18: +0:19
   6     let mut _2: !;                       // in scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
   7     let mut _3: !;                       // in scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15
   8
   9     bb0: {
  10         StorageLive(_2);                 // scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
  11         StorageLive(_3);                 // scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15
  12         FakeRead(ForMatchedPlace(None), _1); // scope 0 at $DIR/issue_72181_1.rs:+1:11: +1:12
  13         unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+1:11: +1:12
  14     }
  15
  16     bb1: {
  17         unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+1:5: +1:15
  18     }
  19
  20     bb2: {
  21         StorageDead(_3);                 // scope 0 at $DIR/issue_72181_1.rs:+1:14: +1:15
  22         unreachable;                     // scope 0 at $DIR/issue_72181_1.rs:+0:20: +2:2
  23     }
  24
  25     bb3: {
  26         StorageDead(_2);                 // scope 0 at $DIR/issue_72181_1.rs:+2:1: +2:2
  27         return;                          // scope 0 at $DIR/issue_72181_1.rs:+2:2: +2:2
  28     }
  29 }