Extend isTupleLikeType to also check if .length is a number literal type

Author: Andarist

src/compiler/checker.ts

@@ -22914,7 +22914,10 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
     }
 
     function isTupleLikeType(type: Type): boolean {
-        return isTupleType(type) || !!getPropertyOfType(type, "0" as __String);
+        let lengthType;
+        return isTupleType(type) ||
+            !!getPropertyOfType(type, "0" as __String) ||
+            isArrayLikeType(type) && !!(lengthType = getTypeOfPropertyOfType(type, "length" as __String)) && everyType(lengthType, t => !!(t.flags & TypeFlags.NumberLiteral));
     }
 
     function isArrayOrTupleLikeType(type: Type): boolean {

tests/baselines/reference/contextualTypeWithTuple.errors.txt

@@ -68,4 +68,10 @@ tests/cases/conformance/types/tuple/contextualTypeWithTuple.ts(25,1): error TS23
 !!! error TS2322: Type '[number, string | number]' is not assignable to type '[number, string]'.
 !!! error TS2322:   Type at position 1 in source is not compatible with type at position 1 in target.
 !!! error TS2322:     Type 'string | number' is not assignable to type 'string'.
-!!! error TS2322:       Type 'number' is not assignable to type 'string'.
+!!! error TS2322:       Type 'number' is not assignable to type 'string'.
+    
+    // repro from #29311
+    type test1 = [...number[]]
+    type fixed1 = test1 & { length: 2 }
+    let var1: fixed1 = [0, 0]
+    

tests/baselines/reference/contextualTypeWithTuple.js

@@ -23,7 +23,13 @@ var strStrTuple: [string, string] = ["foo", "bar", 5];
 unionTuple = unionTuple1;
 unionTuple = unionTuple2;
 unionTuple2 = unionTuple;
-numStrTuple = unionTuple3;
+numStrTuple = unionTuple3;
+
+// repro from #29311
+type test1 = [...number[]]
+type fixed1 = test1 & { length: 2 }
+let var1: fixed1 = [0, 0]
+
 
 //// [contextualTypeWithTuple.js]
 // no error
@@ -56,3 +62,4 @@ unionTuple = unionTuple1;
 unionTuple = unionTuple2;
 unionTuple2 = unionTuple;
 numStrTuple = unionTuple3;
+var var1 = [0, 0];

tests/baselines/reference/contextualTypeWithTuple.symbols

@@ -80,3 +80,16 @@ numStrTuple = unionTuple3;
 >numStrTuple : Symbol(numStrTuple, Decl(contextualTypeWithTuple.ts, 1, 3))
 >unionTuple3 : Symbol(unionTuple3, Decl(contextualTypeWithTuple.ts, 11, 3))
 
+// repro from #29311
+type test1 = [...number[]]
+>test1 : Symbol(test1, Decl(contextualTypeWithTuple.ts, 24, 26))
+
+type fixed1 = test1 & { length: 2 }
+>fixed1 : Symbol(fixed1, Decl(contextualTypeWithTuple.ts, 27, 26))
+>test1 : Symbol(test1, Decl(contextualTypeWithTuple.ts, 24, 26))
+>length : Symbol(length, Decl(contextualTypeWithTuple.ts, 28, 23))
+
+let var1: fixed1 = [0, 0]
+>var1 : Symbol(var1, Decl(contextualTypeWithTuple.ts, 29, 3))
+>fixed1 : Symbol(fixed1, Decl(contextualTypeWithTuple.ts, 27, 26))
+

tests/baselines/reference/contextualTypeWithTuple.types

@@ -126,3 +126,17 @@ numStrTuple = unionTuple3;
 >numStrTuple : [number, string]
 >unionTuple3 : [number, string | number]
 
+// repro from #29311
+type test1 = [...number[]]
+>test1 : number[]
+
+type fixed1 = test1 & { length: 2 }
+>fixed1 : test1 & { length: 2; }
+>length : 2
+
+let var1: fixed1 = [0, 0]
+>var1 : fixed1
+>[0, 0] : [number, number]
+>0 : 0
+>0 : 0
+

tests/cases/conformance/types/tuple/contextualTypeWithTuple.ts

@@ -22,4 +22,9 @@ var strStrTuple: [string, string] = ["foo", "bar", 5];
 unionTuple = unionTuple1;
 unionTuple = unionTuple2;
 unionTuple2 = unionTuple;
-numStrTuple = unionTuple3;
+numStrTuple = unionTuple3;
+
+// repro from #29311
+type test1 = [...number[]]
+type fixed1 = test1 & { length: 2 }
+let var1: fixed1 = [0, 0]