f()

g()
{
    f(1, 2)
}
//@PRACOWNIA
//@should_not_typecheck