1 // MIR for `process_never` after SimplifyLocals
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
8 debug _input => _2; // in scope 1 at $DIR/uninhabited-enum.rs:8:8: 8:14
14 StorageLive(_2); // scope 0 at $DIR/uninhabited-enum.rs:8:8: 8:14
15 StorageDead(_2); // scope 0 at $DIR/uninhabited-enum.rs:9:1: 9:2
16 unreachable; // scope 0 at $DIR/uninhabited-enum.rs:7:39: 9:2