fn main() {
    a((), 1i32 == 2u32);
    //~^ ERROR cannot find function `a` in this scope
    //~| ERROR mismatched types
}