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