#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(1u8.checked_sub_signed(2), None);
    assert_eq!(1u8.checked_sub_signed(- 2), Some(3));
    assert_eq!((u8::MAX - 2).checked_sub_signed(- 4), None);
}