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

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