efriedma-quic wrote: The general idea here seems fine, but I'm having trouble following what each of the new checks actually does; can you add small examples of each pattern? https://github.com/llvm/llvm-project/pull/105666