rorth wrote: Sorry: both the mail and github still showed the old summary, while the commit got it right. What a mess... Btw., please omit `proposal` in the future: once a patch is committed, it is no longer a proposal ;-) https://github.com/llvm/llvm-project/pull/122956