[Mlir-commits] [mlir] [mlir][cf] Fix APInt comparison crash in `foldSwitch` (PR #206407)

[Mehdi Amini]

joker-eph wrote:

I tried implementing this verifier in the past, but it was tricky because of a bunch of progressive lowering relying on this...  I don't know if the codebase is in a better state right now, but it would be nice to enforce matching between the attribute type and the SSA value type indeed!

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