banach-space wrote: This [commit](https://github.com/llvm/llvm-project/pull/132424/commits/5591fe075a182fe2ea977361ddcb373face86289) should cover all the comments from David, Martin and Simon. Thanks for the suggestions! https://github.com/llvm/llvm-project/pull/132424