-
Notifications
You must be signed in to change notification settings - Fork 13k
Closed
Labels
BugA bug in TypeScriptA bug in TypeScriptFixedA PR has been merged for this issueA PR has been merged for this issue
Milestone
Description
separated from #22432
TypeScript Version: 2.7.0-dev.20180307
Search Terms:
Code
type C<R> = [R[]] | [R[], void];
declare function h<T>(f: C<T>): void;
h([[]] as [never[]]); // T: never[]
h([[]] as [void[]]); // T: void
Expected behavior:
h([[]] as [never[]]); // T: never
h([[]] as [void[]]); // T: void
Actual behavior:
h([[]] as [never[]]); // T: never[]
h([[]] as [void[]]); // T: void
Playground Link:
Related Issues:
Metadata
Metadata
Assignees
Labels
BugA bug in TypeScriptA bug in TypeScriptFixedA PR has been merged for this issueA PR has been merged for this issue