1 #![feature(never_type)]
2 #![allow(unused_variables)]
3 #![allow(unused_assignments)]
5 #![deny(unreachable_code)]
10 x = return; //~ ERROR unreachable
15 let p: *mut ! = ptr::null_mut::<!>();
17 // Here we consider the `return` unreachable because
18 // "evaluating" the `*p` has type `!`. This is somewhat
19 // dubious, I suppose.
20 *p = return; //~ ERROR unreachable
26 *{return; &mut i} = 22; //~ ERROR unreachable