https://github.com/math-fehr commented: Thanks for pointing this out! I left a comment because I think we should word it differently, tell me what you think! https://github.com/llvm/llvm-project/pull/140460