1 2 3 4 5 6
Type error: error: BinOpTypeMismatch --> <current file>:1:1 | 1 | [ True ] # [ 1 ] | ^^^^^^^^^^^^^^^^ BinOpTypeMismatch |