// MIR for `process_never` after SimplifyLocals
fn process_never(_1: *const !) -> () {
- debug input => _1; // in scope 0 at $DIR/uninhabited-enum.rs:7:22: 7:27
- let mut _0: (); // return place in scope 0 at $DIR/uninhabited-enum.rs:7:39: 7:39
- let _2: &!; // in scope 0 at $DIR/uninhabited-enum.rs:8:8: 8:14
+ debug input => _1; // in scope 0 at $DIR/uninhabited-enum.rs:+0:22: +0:27
+ let mut _0: (); // return place in scope 0 at $DIR/uninhabited-enum.rs:+0:39: +0:39
+ let _2: &!; // 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:8:8: 8: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:8:8: 8:14
- StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:9:1: 9:2
- unreachable; // scope 0 at $DIR/uninhabited-enum.rs:7:39: 9:2
+ StorageLive(_2); // scope 0 at $DIR/uninhabited-enum.rs:+1:8: +1:14
+ StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:+2:1: +2:2
+ unreachable; // scope 0 at $DIR/uninhabited-enum.rs:+0:39: +2:2
}
}