banach-space wrote: > @banach-space does that answer your question? Yes, thanks! Sorry for not responding earlier, I was travelling. A comment documenting that would be very welcome - it wasn't obvious for me. https://github.com/llvm/llvm-project/pull/188633