https://github.com/zero9178 approved this pull request. LGTM overall, only minor comments :)) I think it makes sense for someone else more familiar with the type inference to look at it as well however https://github.com/llvm/llvm-project/pull/127517