https://github.com/5chmidti approved this pull request. LGTM --- I filed #115540 because I noticed how the `hasAncestor` matcher in the `unless` part means that we are excluding quite some cases. (unrelated to this PRI) https://github.com/llvm/llvm-project/pull/115302