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 = const std::intrinsics::transmute::<(), Void>(move _3) -> [return: bb2, unwind: bb1]; // scope 2 at $DIR/issue-72181-1.rs:17:9: 17:44
  25                                          // ty::Const
  26                                          // + ty: unsafe extern "rust-intrinsic" fn(()) -> Void {std::intrinsics::transmute::<(), Void>}
  27                                          // + val: Value(Scalar(<ZST>))
  28                                          // mir::Constant
  29                                          // + span: $DIR/issue-72181-1.rs:17:9: 17:40
  30                                          // + literal: Const { ty: unsafe extern "rust-intrinsic" fn(()) -> Void {std::intrinsics::transmute::<(), Void>}, val: Value(Scalar(<ZST>)) }
  31     }
  32
  33     bb1 (cleanup): {
  34         resume;                          // scope 0 at $DIR/issue-72181-1.rs:15:1: 21:2
  35     }
  36
  37     bb2: {
  38         StorageDead(_3);                 // scope 2 at $DIR/issue-72181-1.rs:17:43: 17:44
  39         FakeRead(ForLet, _2);            // scope 0 at $DIR/issue-72181-1.rs:16:9: 16:10
  40         AscribeUserType(_2, o, UserTypeProjection { base: UserType(1), projs: [] }); // scope 0 at $DIR/issue-72181-1.rs:16:12: 16:16
  41         StorageLive(_4);                 // scope 1 at $DIR/issue-72181-1.rs:20:5: 20:9
  42         StorageLive(_5);                 // scope 1 at $DIR/issue-72181-1.rs:20:7: 20:8
  43         _5 = move _2;                    // scope 1 at $DIR/issue-72181-1.rs:20:7: 20:8
  44         const f(move _5) -> bb1;         // scope 1 at $DIR/issue-72181-1.rs:20:5: 20:9
  45                                          // ty::Const
  46                                          // + ty: fn(Void) -> ! {f}
  47                                          // + val: Value(Scalar(<ZST>))
  48                                          // mir::Constant
  49                                          // + span: $DIR/issue-72181-1.rs:20:5: 20:6
  50                                          // + literal: Const { ty: fn(Void) -> ! {f}, val: Value(Scalar(<ZST>)) }
  51     }
  52
  53     bb3: {
  54         StorageDead(_5);                 // scope 1 at $DIR/issue-72181-1.rs:20:8: 20:9
  55         StorageDead(_4);                 // scope 1 at $DIR/issue-72181-1.rs:20:9: 20:10
  56         StorageDead(_2);                 // scope 0 at $DIR/issue-72181-1.rs:21:1: 21:2
  57         unreachable;                     // scope 0 at $DIR/issue-72181-1.rs:15:11: 21:2
  58     }
  59
  60     bb4: {
  61         goto -> bb5;                     // scope 0 at $DIR/issue-72181-1.rs:21:2: 21:2
  62     }
  63
  64     bb5: {
  65         return;                          // scope 0 at $DIR/issue-72181-1.rs:21:2: 21:2
  66     }
  67 }