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