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)7fn foo(x: !, y: usize) { } 8 bar(x: !)9fn bar(x: !) { } 10 a()11fn a() { 12 // the `22` is unreachable: 13 foo(return, 22); //~ ERROR unreachable 14 } 15 b()16fn b() { 17 // the call is unreachable: 18 bar(return); //~ ERROR unreachable 19 } 20 main()21fn main() { } 22