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