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

[Ivan Butygin]

Hardcode84 wrote:

> On a side note, I didn't check if there are cases where this would not hold, but it may make sense to defer the type compatibility check to RegionBranchOpInterface and/or perhaps have LoopLikeOpInterface inherit from that.

I'm ok with dropping this check entirely from `LoopLikeOpInterface` considering, in most normal circumstances ops define both `RegionBranchOpInterface` and `LoopLikeOpInterface`.

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