1 #![feature(never_type)]
2 #![allow(unused_variables)]
3 #![allow(unused_assignments)]
4 #![allow(dead_code)]
5 #![deny(unreachable_code)]
6 
foo(x: !, y: usize)7 fn foo(x: !, y: usize) { }
8 
bar(x: !)9 fn bar(x: !) { }
10 
a()11 fn a() {
12     // the `22` is unreachable:
13     foo(return, 22); //~ ERROR unreachable
14 }
15 
b()16 fn b() {
17     // the call is unreachable:
18     bar(return); //~ ERROR unreachable
19 }
20 
main()21 fn main() { }
22