Filter signatures by matching constraints when instantiating them for instantiation signatures #51695
Conversation
… instantiation signatures
typescript-bot
added
the
For Uncommitted Bug
src/compiler/checker.ts
Outdated
| const applicableSignatures = mapDefined(sameTypeAritySignatures, sig => { | ||
| const typeArgumentTypes = checkTypeArguments(sig, typeArguments!, /*reportErrors*/ false); | ||
| return typeArgumentTypes && getSignatureInstantiation(sig, typeArgumentTypes, isInJSFile(sig.declaration)); | ||
| }); |
There was a problem hiding this comment.
Note that this still doesn't exactly work like regular overload selection done by chooseOverload. I simply reject signatures that have non-matching constraints on their type params. When overloads are chosen for call expressions etc the first matching overload "wins".
I think that this is actually desirable - since here we still output an intersection of signatures (overloads) and we leave the final overload selection for the time the output type is being used as a call expression.
src/compiler/checker.ts
Outdated
| if (applicableSignatures.length) { | ||
| return applicableSignatures; | ||
| } | ||
| return sameMap(sameTypeAritySignatures, sig => { |
There was a problem hiding this comment.
I've preserved the old behavior here~. If there are some signatures for the given type argument arity but when none of them match... I still gonna report the same error. Perpahs this can be improved further.
typescript-bot
removed
the
For Uncommitted Bug
|
The TypeScript team hasn't accepted the linked issue #51694. If you can get it accepted, this PR will have a better chance of being reviewed. |
2 similar comments
|
The TypeScript team hasn't accepted the linked issue #51694. If you can get it accepted, this PR will have a better chance of being reviewed. |
|
The TypeScript team hasn't accepted the linked issue #51694. If you can get it accepted, this PR will have a better chance of being reviewed. |
…ntiation-expressions-by-matching-constraints
Andarist
force-pushed
the
andarist/filter-instantiation-expressions-by-matching-constraints
branch
from
ff7f0c6
to
ba3e829
Compare
…ntiation-expressions-by-matching-constraints
fixes #51694
There are some open questions related to the design of instantiations expressions and how they relate to overloads etc. But since I was looking into the implementation to see why the reported issue doesn't type-check OK, I've figured out I can create a draft that would address that as the change was fairly easy to introduce.