src/test/mir-opt/issue_72181_1.main.mir_map.0.mir

   1 // MIR for `main` 0 mir_map
   2
   3 | User Type Annotations
   4 | 0: Canonical { max_universe: U0, variables: [], value: Ty(Void) } at $DIR/issue-72181-1.rs:16:12: 16:16
   5 | 1: Canonical { max_universe: U0, variables: [], value: Ty(Void) } at $DIR/issue-72181-1.rs:16:12: 16:16
   6 |
   7 fn main() -> () {
   8     let mut _0: ();                      // return place in scope 0 at $DIR/issue-72181-1.rs:15:11: 15:11
   9     let mut _1: !;                       // in scope 0 at $DIR/issue-72181-1.rs:15:11: 21:2
  10     let _2: Void as UserTypeProjection { base: UserType(0), projs: [] }; // in scope 0 at $DIR/issue-72181-1.rs:16:9: 16:10
  11     let mut _3: ();                      // in scope 0 at $DIR/issue-72181-1.rs:17:41: 17:43
  12     let _4: !;                           // in scope 0 at $DIR/issue-72181-1.rs:20:5: 20:9
  13     let mut _5: Void;                    // in scope 0 at $DIR/issue-72181-1.rs:20:7: 20:8
  14     scope 1 {
  15         debug v => _2;                   // in scope 1 at $DIR/issue-72181-1.rs:16:9: 16:10
  16     }
  17     scope 2 {
  18     }
  19
  20     bb0: {
  21         StorageLive(_2);                 // scope 0 at $DIR/issue-72181-1.rs:16:9: 16:10
  22         StorageLive(_3);                 // scope 2 at $DIR/issue-72181-1.rs:17:41: 17:43
  23         _3 = ();                         // scope 2 at $DIR/issue-72181-1.rs:17:41: 17:43
  24         _2 = transmute::<(), Void>(move _3) -> [return: bb1, unwind: bb4]; // scope 2 at $DIR/issue-72181-1.rs:17:9: 17:44
  25                                          // mir::Constant
  26                                          // + span: $DIR/issue-72181-1.rs:17:9: 17:40
  27                                          // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(()) -> Void {std::intrinsics::transmute::<(), Void>}, val: Value(Scalar(<ZST>)) }
  28     }
  29
  30     bb1: {
  31         StorageDead(_3);                 // scope 2 at $DIR/issue-72181-1.rs:17:43: 17:44
  32         FakeRead(ForLet, _2);            // scope 0 at $DIR/issue-72181-1.rs:16:9: 16:10
  33         AscribeUserType(_2, o, UserTypeProjection { base: UserType(1), projs: [] }); // scope 0 at $DIR/issue-72181-1.rs:16:12: 16:16
  34         StorageLive(_4);                 // scope 1 at $DIR/issue-72181-1.rs:20:5: 20:9
  35         StorageLive(_5);                 // scope 1 at $DIR/issue-72181-1.rs:20:7: 20:8
  36         _5 = move _2;                    // scope 1 at $DIR/issue-72181-1.rs:20:7: 20:8
  37         f(move _5) -> bb4;               // scope 1 at $DIR/issue-72181-1.rs:20:5: 20:9
  38                                          // mir::Constant
  39                                          // + span: $DIR/issue-72181-1.rs:20:5: 20:6
  40                                          // + literal: Const { ty: fn(Void) -> ! {f}, val: Value(Scalar(<ZST>)) }
  41     }
  42
  43     bb2: {
  44         StorageDead(_5);                 // scope 1 at $DIR/issue-72181-1.rs:20:8: 20:9
  45         StorageDead(_4);                 // scope 1 at $DIR/issue-72181-1.rs:20:9: 20:10
  46         StorageDead(_2);                 // scope 0 at $DIR/issue-72181-1.rs:21:1: 21:2
  47         unreachable;                     // scope 0 at $DIR/issue-72181-1.rs:15:11: 21:2
  48     }
  49
  50     bb3: {
  51         return;                          // scope 0 at $DIR/issue-72181-1.rs:21:2: 21:2
  52     }
  53
  54     bb4 (cleanup): {
  55         resume;                          // scope 0 at $DIR/issue-72181-1.rs:15:1: 21:2
  56     }
  57 }