[Mlir-commits] [mlir] [mlir][Interfaces] Check types when replacing successor inputs (PR #238121)

[Jeremy Kun]

j2kun wrote:

Context: at the dev meeting I learned about `populateRegionBranchOpInterfaceCanonicalizationPatterns`, but I cannot use these patterns directly because our region-branch ops override `areTypesCompatible` to allow type `T` to be treated as compatible with a `wrapper<T>` (where `wrapper` is our out-of-tree type).

I figure that any such override risks creating invalid IR in these two patterns, so I added stricter type checking.

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