fn main() {
    assert_eq!(10u64, 10usize); //~ ERROR mismatched types
}