1 #![feature(never_type)]
2 #![allow(unused_variables)]
3 #![allow(unused_assignments)]
5 #![deny(unreachable_code)]
10 fn foo(&self, x: !, y: usize) { }
11 fn bar(&self, x: !) { }
15 // the `22` is unreachable:
16 Foo.foo(return, 22); //~ ERROR unreachable
20 // the call is unreachable:
21 Foo.bar(return); //~ ERROR unreachable