jayfoad wrote: > Can you disable the verifier in those tests for now? That seems dangerous - these are real bugs so they could show up in compiling real code, not just in tests. https://github.com/llvm/llvm-project/pull/79846