← 输入框|github.com|刷新
Skip to content

Best common type should pick the first type that is a supertype of all the others #404

New issue
New issue
Closed
Closed
Best common type should pick the first type that is a supertype of all the others#404
Assignees
ahejlsberg
Labels
BugA bug in TypeScriptFixedA PR has been merged for this issueSpecIssues related to the TypeScript language specification
Milestone
TypeScript 1.1

Description

@JsonFreeman
Jason Freeman (JsonFreeman)
opened on Aug 8, 2014

We need to align the spec with the new implementation. Section 3.10 should say that we pick the first type that is a supertype of all the others.

Also, fold in the contextual typing rule for Best Common Type.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

BugA bug in TypeScriptFixedA PR has been merged for this issueSpecIssues related to the TypeScript language specification

Type

No type

Projects

No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions