1 2 3 4 5
pub extern fn i8_diff(lhs: i8, rhs: i8) -> Result<u8, u8> implicits(RangeCheck) nopanic; fn main() -> Result<u8, u8> { i8_diff(14, -2) }