https://github.com/arsenm approved this pull request. LGTM, but like I mentioned on #107598, it would be good if there was a test that requires the argument check, and the return check isn't sufficient https://github.com/llvm/llvm-project/pull/108853