Add an extra test case

Author: Andarist

tests/baselines/reference/contextualTypeWithTuple.errors.txt

@@ -74,4 +74,9 @@ tests/cases/conformance/types/tuple/contextualTypeWithTuple.ts(25,1): error TS23
     type test1 = [...number[]]
     type fixed1 = test1 & { length: 2 }
     let var1: fixed1 = [0, 0]
+    
+    // #52551
+    type EmptyTuple = []
+    interface MyEmptyTuple extends EmptyTuple { extraInfo?: any; }
+    const withExtra: MyEmptyTuple = []
 

tests/baselines/reference/contextualTypeWithTuple.js

@@ -29,6 +29,11 @@ numStrTuple = unionTuple3;
 type test1 = [...number[]]
 type fixed1 = test1 & { length: 2 }
 let var1: fixed1 = [0, 0]
+
+// #52551
+type EmptyTuple = []
+interface MyEmptyTuple extends EmptyTuple { extraInfo?: any; }
+const withExtra: MyEmptyTuple = []
 
 
 //// [contextualTypeWithTuple.js]
@@ -63,3 +68,4 @@ unionTuple = unionTuple2;
 unionTuple2 = unionTuple;
 numStrTuple = unionTuple3;
 var var1 = [0, 0];
+var withExtra = [];

tests/baselines/reference/contextualTypeWithTuple.symbols

@@ -93,3 +93,16 @@ let var1: fixed1 = [0, 0]
 >var1 : Symbol(var1, Decl(contextualTypeWithTuple.ts, 29, 3))
 >fixed1 : Symbol(fixed1, Decl(contextualTypeWithTuple.ts, 27, 26))
 
+// #52551
+type EmptyTuple = []
+>EmptyTuple : Symbol(EmptyTuple, Decl(contextualTypeWithTuple.ts, 29, 25))
+
+interface MyEmptyTuple extends EmptyTuple { extraInfo?: any; }
+>MyEmptyTuple : Symbol(MyEmptyTuple, Decl(contextualTypeWithTuple.ts, 32, 20))
+>EmptyTuple : Symbol(EmptyTuple, Decl(contextualTypeWithTuple.ts, 29, 25))
+>extraInfo : Symbol(MyEmptyTuple.extraInfo, Decl(contextualTypeWithTuple.ts, 33, 43))
+
+const withExtra: MyEmptyTuple = []
+>withExtra : Symbol(withExtra, Decl(contextualTypeWithTuple.ts, 34, 5))
+>MyEmptyTuple : Symbol(MyEmptyTuple, Decl(contextualTypeWithTuple.ts, 32, 20))
+

tests/baselines/reference/contextualTypeWithTuple.types

@@ -140,3 +140,14 @@ let var1: fixed1 = [0, 0]
 >0 : 0
 >0 : 0
 
+// #52551
+type EmptyTuple = []
+>EmptyTuple : []
+
+interface MyEmptyTuple extends EmptyTuple { extraInfo?: any; }
+>extraInfo : any
+
+const withExtra: MyEmptyTuple = []
+>withExtra : MyEmptyTuple
+>[] : []
+

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

@@ -28,3 +28,8 @@ numStrTuple = unionTuple3;
 type test1 = [...number[]]
 type fixed1 = test1 & { length: 2 }
 let var1: fixed1 = [0, 0]
+
+// #52551
+type EmptyTuple = []
+interface MyEmptyTuple extends EmptyTuple { extraInfo?: any; }
+const withExtra: MyEmptyTuple = []