[Mlir-commits] [mlir] [mlir] Defer `LoopLikeOpInterface` type checks to `RegionBranchOpInterface` (PR #184116)

[Matthias Springer]

https://github.com/matthias-springer approved this pull request.

Can you add a sentence in docs here:
```
    If one of the respective interface methods is implemented, so must the other
    two. The interface verifier ensures that the number of types of the region
    iter_args, init values and yielded values match.
```

To mention explicitly that there's no assumption that the types have to match. 

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