1 // run-pass
2 #![allow(non_camel_case_types)]
3 
4 
5 type an_int = isize;
6 
cmp(x: Option<an_int>, y: Option<isize>) -> bool7 fn cmp(x: Option<an_int>, y: Option<isize>) -> bool {
8     x == y
9 }
10 
main()11 pub fn main() {
12     assert!(!cmp(Some(3), None));
13     assert!(!cmp(Some(3), Some(4)));
14     assert!(cmp(Some(3), Some(3)));
15     assert!(cmp(None, None));
16 }
17