https://github.com/Lewuathe approved this pull request. Now, the tests running in CI passed and the code seems cleaner. I'm going to merge this. @Prakhar-Dixit Thank you for the fix! @banach-space Thanks for your help! https://github.com/llvm/llvm-project/pull/127706