src/test/mir-opt/uninhabited_enum.process_never.SimplifyLocals.after.mir

   1 // MIR for `process_never` after SimplifyLocals
   2
   3 fn process_never(_1: *const !) -> () {
   4     debug input => _1;                   // in scope 0 at $DIR/uninhabited-enum.rs:7:22: 7:27
   5     let mut _0: ();                      // return place in scope 0 at $DIR/uninhabited-enum.rs:7:39: 7:39
   6     let _2: &!;                          // in scope 0 at $DIR/uninhabited-enum.rs:8:8: 8:14
   7     scope 1 {
   8         debug _input => _2;              // in scope 1 at $DIR/uninhabited-enum.rs:8:8: 8:14
   9     }
  10     scope 2 {
  11     }
  12
  13     bb0: {
  14         StorageLive(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:8:8: 8:14
  15         _2 = &(*_1);                     // scope 2 at $DIR/uninhabited-enum.rs:8:26: 8:33
  16         StorageDead(_2);                 // scope 0 at $DIR/uninhabited-enum.rs:9:1: 9:2
  17         unreachable;                     // scope 0 at $DIR/uninhabited-enum.rs:7:39: 9:2
  18     }
  19 }