1 #![allow(unused_variables)] 2 #![allow(unused_assignments)] 3 #![allow(dead_code)] 4 #![deny(unreachable_code)] 5 #![feature(type_ascription)] 6 a()7fn a() { 8 // the `2` is unreachable: 9 let x: (usize, usize) = (return, 2); //~ ERROR unreachable 10 } 11 b()12fn b() { 13 // the tuple is unreachable: 14 let x: (usize, usize) = (2, return); //~ ERROR unreachable 15 } 16 main()17fn main() { } 18