g()

f():int,int
{
    return g()
}
//@PRACOWNIA
//@should_not_typecheck