Add tests

microsoft · Oct 7, 2019 · 88d37ff · 88d37ff
1 parent 39a3eef
commit 88d37ff
Show file tree

Hide file tree

Showing 5 changed files with 267 additions and 233 deletions.
diff --git a/tests/baselines/reference/genericFunctionInference1.errors.txt b/tests/baselines/reference/genericFunctionInference1.errors.txt
@@ -1,4 +1,4 @@
-tests/cases/compiler/genericFunctionInference1.ts(135,14): error TS2345: Argument of type '<a>(value: { key: a; }) => a' is not assignable to parameter of type '(value: Data) => string'.
+tests/cases/compiler/genericFunctionInference1.ts(139,14): error TS2345: Argument of type '<a>(value: { key: a; }) => a' is not assignable to parameter of type '(value: Data) => string'.
   Type 'number' is not assignable to type 'string'.
 
 
@@ -114,6 +114,10 @@ tests/cases/compiler/genericFunctionInference1.ts(135,14): error TS2345: Argumen
 
     const GenericComp2 = myHoc(GenericComp);
 
+    // #33139
+
+    const l: number[] = list.call(undefined, 1);
+
     // #417
 
     function mirror<A, B>(f: (a: A) => B): (a: A) => B { return f; }

diff --git a/tests/baselines/reference/genericFunctionInference1.js b/tests/baselines/reference/genericFunctionInference1.js
@@ -110,6 +110,10 @@ declare class GenericComp<T> extends Comp<GenericProps<T>> {}
 
 const GenericComp2 = myHoc(GenericComp);
 
+// #33139
+
+const l: number[] = list.call(undefined, 1);
+
 // #417
 
 function mirror<A, B>(f: (a: A) => B): (a: A) => B { return f; }
@@ -301,6 +305,8 @@ const p2 = newPoint(10, 20);
 const bag1 = new Bag(1, 2, 3);
 const bag2 = newBag('a', 'b', 'c');
 const GenericComp2 = myHoc(GenericComp);
+// #33139
+const l = list.call(undefined, 1);
 // #417
 function mirror(f) { return f; }
 var identityM = mirror(identity);