[rustc.git] / src / test / ui / reachable / unreachable-in-call.rs

#![allow(dead_code)]
#![deny(unreachable_code)]

fn diverge() -> ! { panic!() }

fn get_u8() -> u8 {
    1
}
fn call(_: u8, _: u8) {

}
fn diverge_first() {
    call(diverge(),
         get_u8()); //~ ERROR unreachable expression
}
fn diverge_second() {
    call( //~ ERROR unreachable call
        get_u8(),
        diverge());
}

fn main() {}
Commit	Line	Data
92a42be0 SL	1	#![allow(dead_code)]
92a42be0 SL	2	#![deny(unreachable_code)]
c34b1796	3
92a42be0	4	fn diverge() -> ! { panic!() }
223e47cc	5
92a42be0 SL	6	fn get_u8() -> u8 {
	7	1
	8	}
	9	fn call(_: u8, _: u8) {
	10
	11	}
	12	fn diverge_first() {
	13	call(diverge(),
	14	get_u8()); //~ ERROR unreachable expression
	15	}
	16	fn diverge_second() {
e1599b0c	17	call( //~ ERROR unreachable call
92a42be0 SL	18	get_u8(),
92a42be0 SL	19	diverge());
c34b1796 AL	20	}
c34b1796 AL	21
223e47cc	22	fn main() {}