Skip to content

Inference for higher order mapped, index and lookup types - #18391

Merged
Anders Hejlsberg (ahejlsberg) merged 2 commits into
masterfrom
fixMappedTypeInference
Sep 11, 2017
Merged

Inference for higher order mapped, index and lookup types#18391
Anders Hejlsberg (ahejlsberg) merged 2 commits into
masterfrom
fixMappedTypeInference

Conversation

@ahejlsberg

@ahejlsbergAnders Hejlsberg (ahejlsberg) commented Sep 11, 2017

Copy link
Copy Markdown
Member

This PR adds inference for higher order mapped, index and lookup types. For example, when inferring from a keyof S to a keyof T, where S and T are type variables, we'll now properly infer S for T.

Fixes#18338.

@ahejlsberg
Anders Hejlsberg (ahejlsberg) deleted the fixMappedTypeInference branch September 11, 2017 19:47
@weswighamWesley Wigham (weswigham) mentioned this pull request Nov 18, 2017
Closed
@microsoftMicrosoft (microsoft) locked and limited conversation to collaborators Jun 14, 2018
Sign up for freeto subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@DanielRosenwasserDaniel Rosenwasser (DanielRosenwasser)Awaiting requested review from DanielRosenwasser
1 more reviewer
@mhegazyMohamed Hegazy (mhegazy)mhegazy approved these changes
Reviewers whose approvals may not affect merge requirements

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@ahejlsberg@mhegazy@msftclas