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