-
Notifications
You must be signed in to change notification settings - Fork 13.1k
Revert structuredTypeRelatedTo change and fix isUnitLikeType #51076
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 test this |
|
Heya @ahejlsberg, I've started to run the extended test suite on this PR at e363198. You can monitor the build here. |
|
Heya @ahejlsberg, I've started to run the diff-based top-repos suite on this PR at e363198. You can monitor the build here. Update: The results are in! |
|
Heya @ahejlsberg, I've started to run the diff-based user code test suite on this PR at e363198. You can monitor the build here. Update: The results are in! |
|
Heya @ahejlsberg, I've started to run the parallelized Definitely Typed test suite on this PR at e363198. You can monitor the build here. |
|
Heya @ahejlsberg, I've started to run the abridged perf test suite on this PR at e363198. You can monitor the build here. Update: The results are in! |
|
@ahejlsberg Here are the results of running the user test suite comparing Something interesting changed - please have a look. Details
|
|
Heya @ahejlsberg, I've run the RWC suite on this PR - assuming you're on the TS core team, you can view the resulting diff here. |
|
@ahejlsberg Here they are:Comparison Report - main..51076
System
Hosts
Scenarios
Developer Information: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
@ahejlsberg Here are the results of running the top-repos suite comparing Everything looks good! |
| type R2<T extends PropertyKey> = | ||
| T extends keyof TypeA ? | ||
| T extends keyof TypeB ? | ||
| [TypeA[T], TypeB[T]] : never: never |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
nit:
| [TypeA[T], TypeB[T]] : never: never | |
| [TypeA[T], TypeB[T]] : never : never |
note that accepting this would require regenerating the baselines
|
@typescript-bot user test this |
|
Heya @amcasey, I've started to run the diff-based user code test suite on this PR at e363198. You can monitor the build here. Update: The results are in! |
|
Heya @amcasey, I've started to run the diff-based top-repos suite on this PR at e363198. You can monitor the build here. Update: The results are in! |
|
@amcasey Here are the results of running the user test suite comparing Everything looks good! |
|
@amcasey Here are the results of running the top-repos suite comparing Everything looks good! |
# Conflicts: # src/compiler/checker.ts
|
|
||
| type AB = "A" | "B"; | ||
|
|
||
| function x<T_AB extends AB>(x: T_AB & undefined, y: any) { |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think the change itself probably makes sense - but why is this test in unknownControlFlow.ts? It doesn't seem related to control flow and it doesn't use unknown anywhere.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It was a regression caused by #50735, so I added it in the same location as the tests for that PR.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
@DanielRosenwasser Otherwise good with this? I'd like to get it merged.
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Seems like if you could move it, that would be ideal - other than that, the change looks reasonable to me.
Fixes #51009.
Fixes #51041.
Ref: #50735