#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(1i8.checked_sub_unsigned(2), Some(- 1));
    assert_eq!((i8::MIN + 2).checked_sub_unsigned(3), None);
}