Don't inferFromIndexTypes() twice

microsoft · Nov 22, 2019 · 6423e7f · 6423e7f
1 parent db75d3c
commit 6423e7f
Show file tree

Hide file tree

Showing 3 changed files with 31 additions and 4 deletions.
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -17863,7 +17863,6 @@ namespace ts {
                     inferFromProperties(source, target);
                     inferFromSignatures(source, target, SignatureKind.Call);
                     inferFromSignatures(source, target, SignatureKind.Construct);
-                    inferFromIndexTypes(source, target);
                 }
             }
 
@@ -17901,6 +17900,7 @@ namespace ts {
                         inferFromTypes(getTypeOfSymbol(sourceProp), getTypeOfSymbol(targetProp));
                     }
                 }
+                inferFromIndexTypes(source, target);
             }
 
             function inferFromSignatures(source: Type, target: Type, kind: SignatureKind) {

diff --git a/tests/baselines/reference/restTupleElements1.types b/tests/baselines/reference/restTupleElements1.types
@@ -173,7 +173,7 @@ f0([]);  // Error
 >[] : never[]
 
 f0([1]);
->f0([1]) : [number, number]
+>f0([1]) : [number, unknown]
 >f0 : <T, U>(x: [T, ...U[]]) => [T, U]
 >[1] : [number]
 >1 : 1