Example

invalid_reshape_volume_mismatch.kina

Expected rejection

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

Source

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