jayfoad wrote:
> I think the right move in the end is to move all those `CHECK: error` to check for actual line numbers using `:[[@LINE+1]]:{{[0-9]+}}:` which is the usual pattern I see for this kind of stuff.
Yes!
https://github.com/llvm/llvm-project/pull/95237