1 2 3 4 5
error[E002]: wrong type --> line:5:8 | 5 | @a["1"] == 0x100 | ^^^ expression should be `integer`, but it is `string`