1 2 3 4 5
error[E002]: wrong type --> line:4:18 | 4 | for all x in test_proto2.int64_zero : ( true ) | ^^^^^^^^^^^^^^^^^^^^^^ expression should be `array` or `map`, but it is `integer`