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