#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(bigint_helper_methods)]
fn main() {
    assert_eq!(5_u8.widening_mul(7), (35, 0));
    assert_eq!(u8::MAX.widening_mul(u8::MAX), (1, u8::MAX - 1));
}