Example

invalid_add_shape_mismatch.kina

Expected rejection

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

Source

(tensor<F32, [2, 3]> + tensor<F32, [2, 4]>)