-
Notifications
You must be signed in to change notification settings - Fork 12.8k
Make substitution types even if the substitution base isnt a type variable #37348
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
@typescript-bot user test this |
Heya @weswigham, I've started to run the parallelized community code test suite on this PR at 7772caf. You can monitor the build here. |
Heya @weswigham, I've started to run the extended test suite on this PR at 7772caf. You can monitor the build here. |
Heya @weswigham, I've started to run the parallelized Definitely Typed test suite on this PR at 7772caf. You can monitor the build here. |
Heya @weswigham, I've started to run the perf test suite on this PR at 7772caf. You can monitor the build here. Update: The results are in! |
The user suite test run you requested has finished and failed. I've opened a PR with the baseline diff from master. |
@weswigham Here they are:Comparison Report - master..37348
System
Hosts
Scenarios
|
Tests and benches looked good; updates the fix to be broader, rerunning tests: @typescript-bot user test this |
Heya @weswigham, I've started to run the perf test suite on this PR at c7f54d5. You can monitor the build here. Update: The results are in! |
Heya @weswigham, I've started to run the parallelized community code test suite on this PR at c7f54d5. You can monitor the build here. |
Heya @weswigham, I've started to run the extended test suite on this PR at c7f54d5. You can monitor the build here. |
Heya @weswigham, I've started to run the parallelized Definitely Typed test suite on this PR at c7f54d5. You can monitor the build here. |
@weswigham Here they are:Comparison Report - master..37348
System
Hosts
Scenarios
|
Perf looks fine, all test baselines look fine. This change seems good; @ahejlsberg you wanna weigh in on this? It's essentially just generalizing substitutions to represent arbitrary type-space "narrowings", rather than just substitutions on generics. |
Fixes #36135