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