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