vzakhari wrote: I like this change! It will be a bit easier to rename the check variables with menanigful names, if they are more verbose initially. I also support the updates suggested by Mehdi. https://github.com/llvm/llvm-project/pull/160820