erg/tests/should_err/dict.er
2024-10-02 21:26:59 +09:00

7 lines
171 B
Python

for! {"a": 1, "b": 2}.values(), s =>
print! "key: " + s # ERR
for! {"a": 1, "b": 2}.keys(), i =>
print! i + 0 # ERR
dic as {Nat: Int} = {1: -1}
_ = dic[-1] # ERR