[rustc.git] / src / test / ui / reachable / expr_cast.rs

#![allow(unused_variables)]
#![allow(unused_assignments)]
#![allow(dead_code)]
#![deny(unreachable_code)]
#![feature(never_type, type_ascription)]

fn a() {
    // the cast is unreachable:
    let x = {return} as !; //~ ERROR unreachable
}

fn main() { }
Commit	Line	Data
cc61c64b XL	1	#![allow(unused_variables)]
cc61c64b XL	2	#![allow(unused_assignments)]
32a655c1	3	#![allow(dead_code)]
cc61c64b	4	#![deny(unreachable_code)]
0531ce1d	5	#![feature(never_type, type_ascription)]
cc61c64b XL	6
	7	fn a() {
	8	// the cast is unreachable:
ff7c6d11	9	let x = {return} as !; //~ ERROR unreachable
cc61c64b	10	}
a7813a04	11
32a655c1	12	fn main() { }