#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert_eq!((i8::MAX - 2).strict_add(1), i8::MAX - 1);
}