From 197c635994a5d02c50d6066f05f4382da446a8fa Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Fri, 10 Nov 2017 08:36:50 -0800
Subject: [PATCH] Update tests

---
 .../cases/conformance/types/never/neverInference.ts  | 12 +++++++++---
 1 file changed, 9 insertions(+), 3 deletions(-)

diff --git a/tests/cases/conformance/types/never/neverInference.ts b/tests/cases/conformance/types/never/neverInference.ts
index 1258a35e3d3..c28d30d92c2 100644
--- a/tests/cases/conformance/types/never/neverInference.ts
+++ b/tests/cases/conformance/types/never/neverInference.ts
@@ -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);