1 2 3 4 5 6 7
error[E005]: assignment mismatch --> line:3:13 | 3 | for all x,y in (1, 2, 3) : ( true ) | ^^^ ^^^^^^^ this produces 1 value(s) | | | this expects 2 value(s)