f(x:int, y:int)

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