kuhar wrote: Now I discovered we probably don't need it at all, the `SelectOp::verify` already checks that: https://github.com/llvm/llvm-project/blob/b13f799616939933373610c7458687ae88fa414d/mlir/lib/Dialect/Arith/IR/ArithOps.cpp#L2379-L2398 https://github.com/llvm/llvm-project/pull/93351