// MIR for `process_never` after SimplifyLocals-final

fn process_never(_1: *const !) -> () {
    debug input => _1;
    let mut _0: ();
    let _2: &!;
    scope 1 {
        debug _input => _2;
    }
    scope 2 {
    }

    bb0: {
        unreachable;
    }
}