blob: e0ff23282effaff069f92c2311bae0cfcd9bc54c [file] [log] [blame]
>>> fun foo() = 765
>>> foo(1)
error: too many arguments for public final fun foo(): Int defined in Line_0
foo(1)
^
>>> foo()
765