Example

invalid_mul_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]>)