Skip to content

Properly widen intersection types#29082

Merged
ahejlsberg merged 3 commits into
masterfrom
widenIntersectionTypes
Dec 18, 2018
Merged

Properly widen intersection types#29082
ahejlsberg merged 3 commits into
masterfrom
widenIntersectionTypes

Conversation

@ahejlsberg
Copy link
Copy Markdown
Member

Fixes #29081.

@ahejlsberg ahejlsberg merged commit 8ac18be into master Dec 18, 2018
@ahejlsberg ahejlsberg deleted the widenIntersectionTypes branch December 18, 2018 20:53
@microsoft microsoft locked as resolved and limited conversation to collaborators Oct 21, 2025
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants