sethp wrote: Though, maybe we should revert this change, and gate it behind a new suffix (`expected-error-ext`?), since it is a breaking change to the verifier's mini-language. https://github.com/llvm/llvm-project/pull/77326