1 #![allow(dead_code)]
2 #![deny(unreachable_code)]
3 
diverge() -> !4 fn diverge() -> ! { panic!() }
5 
get_u8() -> u86 fn get_u8() -> u8 {
7     1
8 }
call(_: u8, _: u8)9 fn call(_: u8, _: u8) {
10 
11 }
diverge_first()12 fn diverge_first() {
13     call(diverge(),
14          get_u8()); //~ ERROR unreachable expression
15 }
diverge_second()16 fn diverge_second() {
17     call( //~ ERROR unreachable call
18         get_u8(),
19         diverge());
20 }
21 
main()22 fn main() {}
23