https://github.com/michaelrj-google commented: a couple of nits, but looks fine overall. Ideally the test would have both a trivially failing call and a trivially succeeding call, to exercise both sides of the branch. https://github.com/llvm/llvm-project/pull/119147