https://github.com/erichkeane approved this pull request. This seems reasonable/right to me, but please give @mizvekov a chance to double-check, he's more familiar with deduction than I am. https://github.com/llvm/llvm-project/pull/147675