https://github.com/philnik777 requested changes to this pull request. Basically LGTM. Could you mention in the commit message that the annotations are fundamentally not sound, assuming you agree with my reasoning? https://github.com/llvm/llvm-project/pull/194208