DonatNagyE wrote: I'm also weakly opposed to this patch, because the status quo is slightly better than introducing an assert that would make this area more fragile and could lead to some assertion failures if this code is modified in the future. https://github.com/llvm/llvm-project/pull/75076