Example

invalid_dim_zero.kina

This program is expected to fail type or shape checking.

Source

tensor<F32, [0, 4]>