[Mlir-commits] [mlir] [mlir] Add `areLoopIterArgTypesCompatible` to `LoopLikeOpInterface` (PR #184116)

[Ivan Butygin]

Hardcode84 wrote:

> It's gonna be confusing which type should go on the left hand side and right hand side.

This function should be symmetrical. I can add assert `areLoopIterArgTypesCompatible(lhs, rhs) == areLoopIterArgTypesCompatible(rhs, lhs)`

https://github.com/llvm/llvm-project/pull/184116