#![feature(never_type)]

pub fn f3() -> Result<u8, u8> {
	f4()
}

pub fn f4() -> Result<u8, !> {
	unimplemented!()
}

pub fn f5() -> Result<u8, !> {
	f3()
}

fn main() {
    f5();
}