#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(bigint_helper_methods)]
fn main() {
    let (a1, a0): (i8, u8) = (6, 8);
    let (b1, b0): (i8, u8) = (-5, 9);
    let borrow0 = false;
    let (diff0, borrow1) = a0.borrowing_sub(b0, borrow0);
    assert_eq!(borrow1, true);
    let (diff1, overflow) = a1.borrowing_sub(b1, borrow1);
    assert_eq!(overflow, false);
    assert_eq!((diff1, diff0), (10, u8::MAX));
}