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     // 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()13 fn main() { }
14