fn foo() -> u8 {
    loop { } // compiler knows it never returns, so it can pretend u8 is returned
}

fn main() {
    let value = foo();
    println!("value: {}", value);
}