tests/mir-opt/uninhabited_enum.process_void.SimplifyLocals-final.after.mir

   1 // MIR for `process_void` after SimplifyLocals-final
   2
   3 fn process_void(_1: *const Void) -> () {
   4     debug input => _1;                   // in scope 0 at $DIR/uninhabited_enum.rs:+0:21: +0:26
   5     let mut _0: ();                      // return place in scope 0 at $DIR/uninhabited_enum.rs:+0:41: +0:41
   6     let _2: &Void;                       // in scope 0 at $DIR/uninhabited_enum.rs:+1:8: +1:14
   7     scope 1 {
   8         debug _input => _2;              // in scope 1 at $DIR/uninhabited_enum.rs:+1:8: +1:14
   9     }
  10     scope 2 {
  11     }
  12
  13     bb0: {
  14         StorageLive(_2);                 // scope 0 at $DIR/uninhabited_enum.rs:+1:8: +1:14
  15         StorageDead(_2);                 // scope 0 at $DIR/uninhabited_enum.rs:+4:1: +4:2
  16         return;                          // scope 0 at $DIR/uninhabited_enum.rs:+4:2: +4:2
  17     }
  18 }