// MIR for `process_void` after SimplifyLocals
fn process_void(_1: *const Void) -> () {
- debug input => _1; // in scope 0 at $DIR/uninhabited-enum.rs:13:21: 13:26
- let mut _0: (); // return place in scope 0 at $DIR/uninhabited-enum.rs:13:41: 13:41
- let _2: &Void; // in scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
+ debug input => _1; // in scope 0 at $DIR/uninhabited-enum.rs:+0:21: +0:26
+ let mut _0: (); // return place in scope 0 at $DIR/uninhabited-enum.rs:+0:41: +0:41
+ let _2: &Void; // in scope 0 at $DIR/uninhabited-enum.rs:+1:8: +1:14
scope 1 {
- debug _input => _2; // in scope 1 at $DIR/uninhabited-enum.rs:14:8: 14:14
+ debug _input => _2; // in scope 1 at $DIR/uninhabited-enum.rs:+1:8: +1:14
}
scope 2 {
}
bb0: {
- StorageLive(_2); // scope 0 at $DIR/uninhabited-enum.rs:14:8: 14:14
- StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:17:1: 17:2
- return; // scope 0 at $DIR/uninhabited-enum.rs:17:2: 17:2
+ StorageLive(_2); // scope 0 at $DIR/uninhabited-enum.rs:+1:8: +1:14
+ StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:+4:1: +4:2
+ return; // scope 0 at $DIR/uninhabited-enum.rs:+4:2: +4:2
}
}