Example

invalid_argmax_bool.kina

Expected rejection

This program is intentionally invalid. The compiler should reject its type or shape.

Source

tensor<Bool, [2, 3]>.reduce(op=argmax, axis=1)