microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-05 08:11:30 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Update tests

Browse Source
This commit is contained in:
Anders Hejlsberg 2017-11-10 08:36:50 -08:00
parent 2010c4cda1
commit 197c635994
1 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
tests/cases/conformance/types/never/neverInference.ts
View File

@ -1,11 +1,11 @@
// @strict: true
declare function f<T>(x: T[]): T;
declare function f1<T>(x: T[]): T;
let neverArray: never[] = [];
let a1 = f([]); // {}
let a2 = f(neverArray); // never
let a1 = f1([]); // never
let a2 = f1(neverArray); // never
// Repro from #19576
@ -22,3 +22,9 @@ declare function compareNumbers(x: number, y: number): number;
declare function mkList<T>(items: T[], comparator: Comparator<T>): LinkedList<T>;
const list: LinkedList<number> = mkList([], compareNumbers);
// Repro from #19858
declare function f2<a>(as1: a[], as2: a[], cmp: (a1: a, a2: a) => number): void;
f2(Array.from([0]), [], (a1, a2) => a1 - a2);
f2(Array.from([]), [0], (a1, a2) => a1 - a2);