Introduce inferrable TConfig - #4262

⚠️ No Changeset found

Latest commit: c4cad26

Merging this PR will not cause a version bump for any packages. If these changes should not result in a new version, you're good to go. If these changes should result in a version bump, you need to add a changeset.

Click here to learn what changesets are, and how to add one.

Click here if you're a maintainer who wants to add a changeset to this PR

This pull request is automatically built and testable in CodeSandbox.

To see build info of the built libraries, click here or the icon next to each commit SHA.

Latest deployment of this branch, based on commit c4cad26:

Unfortunately, it deoptimizes when typed invokes are involved. I prepared a minimal repro case here: TS playground

Ok, so I couldn't resist and I peeked under the hood to see what is being inferred in the first pass internally. It seems that we run into the same problem as we were running before. The problem was just more apparent before because we ended up with a visible error. Now the problem is still there but it gets somewhat swallowed. The invoke.src property widens to string within the inferred TConfig and then it fails the constraint check. We can observe the error if we provide the computed inference candidates directly as type arguments here: TS playground

And this is actually fixable using the trick that I applied in one of those previous PRs: TS playground.

(but I still think this is a post-release item)

Superseded by #4498