Example

invalid_requires_mismatch.kina

Expected rejection

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

Source

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