================ ---------------- banach-space wrote: We test the verifiers in https://github.com/llvm/llvm-project/blob/d2dd4ce545bd5753f37181f2821bc8ac07601de8/mlir/test/Dialect/Vector/invalid.mlir ;-) https://github.com/llvm/llvm-project/pull/204611