#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!(5u8.overflowing_add(2), (7, false));
    assert_eq!(u8::MAX.overflowing_add(1), (0, true));
}