| #![allow(dead_code)] | |
| #![deny(unreachable_code)] | |
| fn diverge() -> ! { panic!() } | |
| fn get_u8() -> u8 { | |
| 1 | |
| } | |
| fn call(_: u8, _: u8) { | |
| } | |
| fn diverge_first() { | |
| call(diverge(), | |
| get_u8()); //~ ERROR unreachable expression | |
| } | |
| fn diverge_second() { | |
| call( //~ ERROR unreachable call | |
| get_u8(), | |
| diverge()); | |
| } | |
| fn main() {} |