cjacek wrote: I believe the meaning is the same (this is a modified version of Billy's patch), but I agree it's better to use the formalized form. I've updated the commit accordingly, thanks! https://github.com/llvm/llvm-project/pull/139279