erg/tests/should_err/var_kwargs.er
2023-11-14 02:17:47 +09:00

4 lines
102 B
Python

kw_var(**x: Int) = x["::a"] + x["::b"]
_ = kw_var(a:="1", b:=2) # ERR
_ = kw_var(a:=1, b:="2") # ERR