#![allow(dead_code, deprecated, unused_variables, unused_mut)]
#![feature(exact_div)]
fn main() {
    assert_eq!((i8::MIN + 1).checked_exact_div(- 1), Some(127));
    assert_eq!((- 5i8).checked_exact_div(2), None);
    assert_eq!(i8::MIN.checked_exact_div(- 1), None);
    assert_eq!((1i8).checked_exact_div(0), None);
}