https://github.com/banach-space approved this pull request. LGTM, thanks! Thanks for addressing my comments. I've left one more suggestion, but that's non-blocking and possibly a discussion for a separate PR. https://github.com/llvm/llvm-project/pull/139823