jplehr wrote: Yeah, I probably should've labeled it NFC. I still prefer PRs over direct pushes, because then there is a nicer place (IMHO) to comment. ;) Will do that next time. https://github.com/llvm/llvm-project/pull/126238