Merge pull request #8521 from int-index/wip/extension-vdq
commit6b67a4a454d4c468f02b9c8d7285fe2d6b222ff5
authorMikolaj Konarski <mikolaj@well-typed.com>
Wed, 12 Oct 2022 08:50:38 +0000 (12 10:50 +0200)
committerGitHub <noreply@github.com>
Wed, 12 Oct 2022 08:50:38 +0000 (12 10:50 +0200)
tree26d346bfdc005ed571ffa9dcab70014bbfac010d
parent519d2b444b45765ecca13dd515490a6a69750a8f
parent49b91e09de2b7b5edcc26e74456d31a052d1856d
Merge pull request #8521 from int-index/wip/extension-vdq

Add RequiredTypeArguments to known extensions