// run-pass
#![allow(non_camel_case_types)]


type an_int = isize;

fn cmp(x: Option<an_int>, y: Option<isize>) -> bool {
    x == y
}

pub fn main() {
    assert!(!cmp(Some(3), None));
    assert!(!cmp(Some(3), Some(4)));
    assert!(cmp(Some(3), Some(3)));
    assert!(cmp(None, None));
}