erg/tests/should_err/args_expansion.er
2024-08-20 01:20:42 +09:00

8 lines
169 B
Python

foo first: Int, second: Int = log first, second
foo(1, 2, *[1, 2]) # ERR
data = {"first": 1, "second": 2}
foo(1, 2, **data) # ERR
foo(1, *2) # ERR
foo(1, **[2]) # ERR