jorickert wrote: > Thanks for the fix @jorickert! Would it be possible to add a negative test case under invalid.mlir as well? Thanks for the suggestion, I added a test that checks for the error message https://github.com/llvm/llvm-project/pull/153826