#![allow(dead_code, deprecated, unused_variables, unused_mut)]
fn main() {
    assert!(None < Some(0));
    assert!(Some(0) < Some(1));
}