Example

invalid_requires_mismatch.kina

This program is expected to fail type or shape checking.

Source

requires [B = B_prime] compute {
  tensor<F32, [B, M, K], @host> @ tensor<F32, [B_prime, K_prime, N], @host>
}