Skip to content

Let assignability checking of generic mapped types decompose intersections on both the source and the target. #27590

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.

Sign up for GitHub

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

Jump to bottom
Closed
wants to merge 1 commit into from
Closed

Let assignability checking of generic mapped types decompose intersections on both the source and the target. #27590

wants to merge 1 commit into from

Conversation

mattmccutchen
Copy link
Contributor

Fixes #27484.

@mattmccutchen
Let assignability checking of generic mapped types decompose
04521da 
intersections on both the source and the target.

Fixes microsoft#27484.
@mattmccutchen mattmccutchen changed the title Make T assignable to Readonly<U> if T is assignable to U, not just if T = U. Let assignability checking of generic mapped types decompose intersections on both the source and the target. Oct 7, 2018
@mattmccutchen
Copy link
Contributor Author

I'm looking into a simpler solution but noticed behavior I wasn't comfortable with in one test case. I'll update the pull request when I have time.

@mattmccutchen
Copy link
Contributor Author

Closing this PR unless/until it becomes ready for review.

@mattmccutchen mattmccutchen mentioned this pull request Oct 10, 2018
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@mattmccutchen