allow extracting rest parameters' passed types into generics

KiaraGrouwstra · KiaraGrouwstra · commit 6d38c6be116d · 2017-08-29T02:49:25.000+08:00
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
diff --git a/tests/baselines/reference/FunctionDeclaration10_es6.errors.txt b/tests/baselines/reference/FunctionDeclaration10_es6.errors.txt
@@ -1,14 +1,17 @@
 tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,16): error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,20): error TS2523: 'yield' expressions cannot be used in a parameter initializer.
 tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,26): error TS1005: ',' expected.
 tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,29): error TS1138: Parameter declaration expected.
 tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,29): error TS2304: Cannot find name 'yield'.
 tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts(1,34): error TS1005: ';' expected.
 
 
-==== tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts (5 errors) ====
+==== tests/cases/conformance/es6/functionDeclarations/FunctionDeclaration10_es6.ts (6 errors) ====
     function * foo(a = yield => yield) {
                    ~~~~~~~~~
 !!! error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+                       ~~~~~
+!!! error TS2523: 'yield' expressions cannot be used in a parameter initializer.
                              ~~
 !!! error TS1005: ',' expected.
                                 ~~~~~
diff --git a/tests/baselines/reference/asyncFunctionDeclaration10_es2017.errors.txt b/tests/baselines/reference/asyncFunctionDeclaration10_es2017.errors.txt
@@ -1,4 +1,5 @@
 tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,20): error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,24): error TS2524: 'await' expressions cannot be used in a parameter initializer.
 tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,30): error TS1109: Expression expected.
 tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,33): error TS1138: Parameter declaration expected.
 tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,33): error TS2304: Cannot find name 'await'.
@@ -8,10 +9,12 @@ tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclarati
 tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts(1,53): error TS1109: Expression expected.
 
 
-==== tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts (8 errors) ====
+==== tests/cases/conformance/async/es2017/functionDeclarations/asyncFunctionDeclaration10_es2017.ts (9 errors) ====
     async function foo(a = await => await): Promise<void> {
                        ~~~~~~~~~
 !!! error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+                           ~~~~~
+!!! error TS2524: 'await' expressions cannot be used in a parameter initializer.
                                  ~~
 !!! error TS1109: Expression expected.
                                     ~~~~~
diff --git a/tests/baselines/reference/asyncFunctionDeclaration10_es5.errors.txt b/tests/baselines/reference/asyncFunctionDeclaration10_es5.errors.txt
@@ -1,4 +1,5 @@
 tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,20): error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,24): error TS2524: 'await' expressions cannot be used in a parameter initializer.
 tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,30): error TS1109: Expression expected.
 tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,33): error TS1138: Parameter declaration expected.
 tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,33): error TS2304: Cannot find name 'await'.
@@ -8,10 +9,12 @@ tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration1
 tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts(1,53): error TS1109: Expression expected.
 
 
-==== tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts (8 errors) ====
+==== tests/cases/conformance/async/es5/functionDeclarations/asyncFunctionDeclaration10_es5.ts (9 errors) ====
     async function foo(a = await => await): Promise<void> {
                        ~~~~~~~~~
 !!! error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+                           ~~~~~
+!!! error TS2524: 'await' expressions cannot be used in a parameter initializer.
                                  ~~
 !!! error TS1109: Expression expected.
                                     ~~~~~
diff --git a/tests/baselines/reference/asyncFunctionDeclaration10_es6.errors.txt b/tests/baselines/reference/asyncFunctionDeclaration10_es6.errors.txt
@@ -1,4 +1,5 @@
 tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,20): error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,24): error TS2524: 'await' expressions cannot be used in a parameter initializer.
 tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,30): error TS1109: Expression expected.
 tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,33): error TS1138: Parameter declaration expected.
 tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,33): error TS2304: Cannot find name 'await'.
@@ -8,10 +9,12 @@ tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration1
 tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts(1,53): error TS1109: Expression expected.
 
 
-==== tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts (8 errors) ====
+==== tests/cases/conformance/async/es6/functionDeclarations/asyncFunctionDeclaration10_es6.ts (9 errors) ====
     async function foo(a = await => await): Promise<void> {
                        ~~~~~~~~~
 !!! error TS2371: A parameter initializer is only allowed in a function or constructor implementation.
+                           ~~~~~
+!!! error TS2524: 'await' expressions cannot be used in a parameter initializer.
                                  ~~
 !!! error TS1109: Expression expected.
                                     ~~~~~
diff --git a/tests/baselines/reference/destructureGenerics.js b/tests/baselines/reference/destructureGenerics.js
@@ -0,0 +1,19 @@
+//// [destructureGenerics.ts]
+declare function f<T extends any[]>(...args: T): T;
+var x = f(1,2);
+var x: [1, 2];
+declare function g<T extends [number, number]>(...args: T): T;
+var z = g(1,2);
+var z: [1,2];
+declare function h<T>(...args: T[]): T;
+var b = h(1,2,3);
+var b: number;
+
+
+//// [destructureGenerics.js]
+var x = f(1, 2);
+var x;
+var z = g(1, 2);
+var z;
+var b = h(1, 2, 3);
+var b;
diff --git a/tests/baselines/reference/destructureGenerics.symbols b/tests/baselines/reference/destructureGenerics.symbols
@@ -0,0 +1,43 @@
+=== tests/cases/compiler/destructureGenerics.ts ===
+declare function f<T extends any[]>(...args: T): T;
+>f : Symbol(f, Decl(destructureGenerics.ts, 0, 0))
+>T : Symbol(T, Decl(destructureGenerics.ts, 0, 19))
+>args : Symbol(args, Decl(destructureGenerics.ts, 0, 36))
+>T : Symbol(T, Decl(destructureGenerics.ts, 0, 19))
+>T : Symbol(T, Decl(destructureGenerics.ts, 0, 19))
+
+var x = f(1,2);
+>x : Symbol(x, Decl(destructureGenerics.ts, 1, 3), Decl(destructureGenerics.ts, 2, 3))
+>f : Symbol(f, Decl(destructureGenerics.ts, 0, 0))
+
+var x: [1, 2];
+>x : Symbol(x, Decl(destructureGenerics.ts, 1, 3), Decl(destructureGenerics.ts, 2, 3))
+
+declare function g<T extends [number, number]>(...args: T): T;
+>g : Symbol(g, Decl(destructureGenerics.ts, 2, 14))
+>T : Symbol(T, Decl(destructureGenerics.ts, 3, 19))
+>args : Symbol(args, Decl(destructureGenerics.ts, 3, 47))
+>T : Symbol(T, Decl(destructureGenerics.ts, 3, 19))
+>T : Symbol(T, Decl(destructureGenerics.ts, 3, 19))
+
+var z = g(1,2);
+>z : Symbol(z, Decl(destructureGenerics.ts, 4, 3), Decl(destructureGenerics.ts, 5, 3))
+>g : Symbol(g, Decl(destructureGenerics.ts, 2, 14))
+
+var z: [1,2];
+>z : Symbol(z, Decl(destructureGenerics.ts, 4, 3), Decl(destructureGenerics.ts, 5, 3))
+
+declare function h<T>(...args: T[]): T;
+>h : Symbol(h, Decl(destructureGenerics.ts, 5, 13))
+>T : Symbol(T, Decl(destructureGenerics.ts, 6, 19))
+>args : Symbol(args, Decl(destructureGenerics.ts, 6, 22))
+>T : Symbol(T, Decl(destructureGenerics.ts, 6, 19))
+>T : Symbol(T, Decl(destructureGenerics.ts, 6, 19))
+
+var b = h(1,2,3);
+>b : Symbol(b, Decl(destructureGenerics.ts, 7, 3), Decl(destructureGenerics.ts, 8, 3))
+>h : Symbol(h, Decl(destructureGenerics.ts, 5, 13))
+
+var b: number;
+>b : Symbol(b, Decl(destructureGenerics.ts, 7, 3), Decl(destructureGenerics.ts, 8, 3))
+
diff --git a/tests/baselines/reference/destructureGenerics.types b/tests/baselines/reference/destructureGenerics.types
@@ -0,0 +1,53 @@
+=== tests/cases/compiler/destructureGenerics.ts ===
+declare function f<T extends any[]>(...args: T): T;
+>f : <T extends any[]>(...args: T) => T
+>T : T
+>args : T
+>T : T
+>T : T
+
+var x = f(1,2);
+>x : [1, 2]
+>f(1,2) : [1, 2]
+>f : <T extends any[]>(...args: T) => T
+>1 : 1
+>2 : 2
+
+var x: [1, 2];
+>x : [1, 2]
+
+declare function g<T extends [number, number]>(...args: T): T;
+>g : <T extends [number, number]>(...args: T) => T
+>T : T
+>args : T
+>T : T
+>T : T
+
+var z = g(1,2);
+>z : [1, 2]
+>g(1,2) : [1, 2]
+>g : <T extends [number, number]>(...args: T) => T
+>1 : 1
+>2 : 2
+
+var z: [1,2];
+>z : [1, 2]
+
+declare function h<T>(...args: T[]): T;
+>h : <T>(...args: T[]) => T
+>T : T
+>args : T[]
+>T : T
+>T : T
+
+var b = h(1,2,3);
+>b : number
+>h(1,2,3) : 1 | 2 | 3
+>h : <T>(...args: T[]) => T
+>1 : 1
+>2 : 2
+>3 : 3
+
+var b: number;
+>b : number
+
diff --git a/tests/baselines/reference/destructureGenericsErrors.errors.txt b/tests/baselines/reference/destructureGenericsErrors.errors.txt
@@ -0,0 +1,15 @@
+tests/cases/compiler/destructureGenericsErrors.ts(2,9): error TS2554: Expected 2 arguments, but got 1.
+tests/cases/compiler/destructureGenericsErrors.ts(4,9): error TS2554: Expected 2 arguments, but got 3.
+
+
+==== tests/cases/compiler/destructureGenericsErrors.ts (2 errors) ====
+    declare function g<T extends [number, number]>(...args: T): T;
+    var y = g(1); // error
+            ~~~~
+!!! error TS2554: Expected 2 arguments, but got 1.
+    var y: [1];
+    var a = g(1,2,3); // error
+            ~~~~~~~~
+!!! error TS2554: Expected 2 arguments, but got 3.
+    var a: [1,2,3];
+    
diff --git a/tests/baselines/reference/destructureGenericsErrors.js b/tests/baselines/reference/destructureGenericsErrors.js
@@ -0,0 +1,13 @@
+//// [destructureGenericsErrors.ts]
+declare function g<T extends [number, number]>(...args: T): T;
+var y = g(1); // error
+var y: [1];
+var a = g(1,2,3); // error
+var a: [1,2,3];
+
+
+//// [destructureGenericsErrors.js]
+var y = g(1); // error
+var y;
+var a = g(1, 2, 3); // error
+var a;
diff --git a/tests/baselines/reference/destructureGenericsErrors.symbols b/tests/baselines/reference/destructureGenericsErrors.symbols
@@ -0,0 +1,17 @@
+=== tests/cases/compiler/destructureGenericsErrors.ts ===
+declare function g<T extends [number, number]>(...args: T): T;
+>g : Symbol(g, Decl(destructureGenericsErrors.ts, 0, 0))
+>T : Symbol(T, Decl(destructureGenericsErrors.ts, 0, 19))
+>args : Symbol(args, Decl(destructureGenericsErrors.ts, 0, 47))
+>T : Symbol(T, Decl(destructureGenericsErrors.ts, 0, 19))
+>T : Symbol(T, Decl(destructureGenericsErrors.ts, 0, 19))
+
+// var y = g(1); // error
+// var y: [1];
+var a = g(1,2,3); // error
+>a : Symbol(a, Decl(destructureGenericsErrors.ts, 3, 3), Decl(destructureGenericsErrors.ts, 4, 3))
+>g : Symbol(g, Decl(destructureGenericsErrors.ts, 0, 0))
+
+var a: [1,2,3];
+>a : Symbol(a, Decl(destructureGenericsErrors.ts, 3, 3), Decl(destructureGenericsErrors.ts, 4, 3))
+
diff --git a/tests/baselines/reference/destructureGenericsErrors.types b/tests/baselines/reference/destructureGenericsErrors.types
@@ -0,0 +1,21 @@
+=== tests/cases/compiler/destructureGenericsErrors.ts ===
+declare function g<T extends [number, number]>(...args: T): T;
+>g : <T extends [number, number]>(...args: T) => T
+>T : T
+>args : T
+>T : T
+>T : T
+
+// var y = g(1); // error
+// var y: [1];
+var a = g(1,2,3); // error
+>a : [1, 2, 3]
+>g(1,2,3) : [1, 2, 3]
+>g : <T extends [number, number]>(...args: T) => T
+>1 : 1
+>2 : 2
+>3 : 3
+
+var a: [1,2,3];
+>a : [1, 2, 3]
+
diff --git a/tests/baselines/reference/destructuringParameterDeclaration4.errors.txt b/tests/baselines/reference/destructuringParameterDeclaration4.errors.txt
@@ -1,5 +1,3 @@
-tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(11,13): error TS2370: A rest parameter must be of an array type.
-tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(13,13): error TS2370: A rest parameter must be of an array type.
 tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(14,17): error TS1047: A rest parameter cannot be optional.
 tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(15,16): error TS1048: A rest parameter cannot have an initializer.
 tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(20,19): error TS2345: Argument of type 'true' is not assignable to parameter of type 'string | number'.
@@ -17,7 +15,7 @@ tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(
 tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(34,28): error TS2304: Cannot find name 'E'.
 
 
-==== tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts (12 errors) ====
+==== tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts (10 errors) ====
     // If the parameter is a rest parameter, the parameter type is any[]
     // A type annotation for a rest parameter must denote an array type.
     
@@ -29,12 +27,8 @@ tests/cases/conformance/es6/destructuring/destructuringParameterDeclaration4.ts(
     type stringOrNumArray = Array<String|Number>;
     
     function a0(...x: [number, number, string]) { }  // Error, rest parameter must be array type
-                ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS2370: A rest parameter must be of an array type.
     function a1(...x: (number|string)[]) { }
     function a2(...a: someArray) { }  // Error, rest parameter must be array type
-                ~~~~~~~~~~~~~~~
-!!! error TS2370: A rest parameter must be of an array type.
     function a3(...b?) { }            // Error, can't be optional
                     ~
 !!! error TS1047: A rest parameter cannot be optional.
diff --git a/tests/baselines/reference/iterableArrayPattern25.errors.txt b/tests/baselines/reference/iterableArrayPattern25.errors.txt
@@ -1,8 +1,11 @@
 tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts(1,33): error TS2501: A rest element cannot contain a binding pattern.
+tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts(2,1): error TS2554: Expected 2 arguments, but got 1.
 
 
-==== tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts (1 errors) ====
+==== tests/cases/conformance/es6/destructuring/iterableArrayPattern25.ts (2 errors) ====
     function takeFirstTwoEntries(...[[k1, v1], [k2, v2]]) { }
                                     ~~~~~~~~~~~~~~~~~~~~
 !!! error TS2501: A rest element cannot contain a binding pattern.
-    takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
+    takeFirstTwoEntries(new Map([["", 0], ["hello", 1]]));
+    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS2554: Expected 2 arguments, but got 1.
diff --git a/tests/baselines/reference/noImplicitAnyDestructuringParameterDeclaration.errors.txt b/tests/baselines/reference/noImplicitAnyDestructuringParameterDeclaration.errors.txt
@@ -2,19 +2,22 @@ tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(1,14): er
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(1,19): error TS7031: Binding element 'b' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(1,23): error TS7006: Parameter 'c' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(1,26): error TS7006: Parameter 'd' implicitly has an 'any' type.
+tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(3,13): error TS7006: Parameter '[a = undefined]' implicitly has an '[any]' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(3,14): error TS7031: Binding element 'a' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(3,31): error TS7031: Binding element 'b' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(3,42): error TS7006: Parameter 'c' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(3,57): error TS7006: Parameter 'd' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(7,20): error TS7008: Member 'b' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(7,30): error TS7008: Member 'b' implicitly has an 'any' type.
+tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,13): error TS7006: Parameter '[a1]' implicitly has an '[any]' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,14): error TS7031: Binding element 'a1' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,34): error TS7031: Binding element 'b1' implicitly has an 'any' type.
+tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,42): error TS7018: Object literal's property 'b1' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,54): error TS7006: Parameter 'c1' implicitly has an 'any' type.
 tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,70): error TS7006: Parameter 'd1' implicitly has an 'any' type.
 
 
-==== tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts (14 errors) ====
+==== tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts (17 errors) ====
     function f1([a], {b}, c, d) { // error
                  ~
 !!! error TS7031: Binding element 'a' implicitly has an 'any' type.
@@ -26,6 +29,8 @@ tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,70): er
 !!! error TS7006: Parameter 'd' implicitly has an 'any' type.
     }
     function f2([a = undefined], {b = null}, c = undefined, d = null) { // error
+                ~~~~~~~~~~~~~~~
+!!! error TS7006: Parameter '[a = undefined]' implicitly has an '[any]' type.
                  ~
 !!! error TS7031: Binding element 'a' implicitly has an 'any' type.
                                   ~
@@ -44,10 +49,14 @@ tests/cases/compiler/noImplicitAnyDestructuringParameterDeclaration.ts(9,70): er
 !!! error TS7008: Member 'b' implicitly has an 'any' type.
     }
     function f5([a1] = [undefined], {b1} = { b1: null }, c1 = undefined, d1 = null) { // error
+                ~~~~~~~~~~~~~~~~~~
+!!! error TS7006: Parameter '[a1]' implicitly has an '[any]' type.
                  ~~
 !!! error TS7031: Binding element 'a1' implicitly has an 'any' type.
                                      ~~
 !!! error TS7031: Binding element 'b1' implicitly has an 'any' type.
+                                             ~~~~~~~~
+!!! error TS7018: Object literal's property 'b1' implicitly has an 'any' type.
                                                          ~~~~~~~~~~~~~~
 !!! error TS7006: Parameter 'c1' implicitly has an 'any' type.
                                                                          ~~~~~~~~~
diff --git a/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types b/tests/baselines/reference/partiallyAnnotatedFunctionInferenceWithTypeParameter.types
@@ -119,7 +119,7 @@ testRest((t1, t2: D, t3) => {})
 >t3 : D
 
 testRest((t2: D, ...t3) => {})
->testRest((t2: D, ...t3) => {}) : any
+>testRest((t2: D, ...t3) => {}) : D
 >testRest : <T extends C>(a: (t: T, t1: T, ...ts: T[]) => void) => T
 >(t2: D, ...t3) => {} : (t2: D, ...t3: any[]) => void
 >t2 : D
diff --git a/tests/baselines/reference/promiseSpread.js b/tests/baselines/reference/promiseSpread.js
@@ -0,0 +1,8 @@
+//// [promiseSpread.ts]
+interface Promise<T> {
+    spread<U>(fulfilledHandler: (...values: T & any[]) => U | Promise<U>): Promise<U>;
+    spread<U>(fulfilledHandler: (...values: [T]) => U | Promise<U>): Promise<U>;
+}
+
+
+//// [promiseSpread.js]
diff --git a/tests/baselines/reference/promiseSpread.symbols b/tests/baselines/reference/promiseSpread.symbols
diff --git a/tests/baselines/reference/promiseSpread.types b/tests/baselines/reference/promiseSpread.types
diff --git a/tests/baselines/reference/restParametersOfNonArrayTypes2.errors.txt b/tests/baselines/reference/restParametersOfNonArrayTypes2.errors.txt
diff --git a/tests/cases/compiler/destructureGenerics.ts b/tests/cases/compiler/destructureGenerics.ts
diff --git a/tests/cases/compiler/destructureGenericsErrors.ts b/tests/cases/compiler/destructureGenericsErrors.ts
diff --git a/tests/cases/compiler/promiseSpread.ts b/tests/cases/compiler/promiseSpread.ts
