1 #![feature(never_type)]
2 #![allow(unused_variables)]
3 #![allow(unused_assignments)]
5 #![deny(unreachable_code)]
7 fn foo(x: !, y: usize) { }
12 // the `22` is unreachable:
13 foo(return, 22); //~ ERROR unreachable
17 // the call is unreachable:
18 bar(return); //~ ERROR unreachable