zygoloid wrote: @fsfod Can you update the first comment to describe the overall purpose of this change? That seems pretty central to understanding whether we want this, and if so, whether this looks like the right set of annotations. https://github.com/llvm/llvm-project/pull/109702