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 // Here we issue that the "2nd-innermost" return is unreachable, 9 // but we stop there. 10 let x = {return {return {return;}}}; //~ ERROR unreachable 11 } 12 main()13fn main() { } 14