Accepted baselines.

Author: DanielRosenwasser

tests/baselines/reference/mappedTypeWithAny.errors.txt

@@ -1,9 +1,11 @@
 tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(23,16): error TS2339: Property 'notAValue' does not exist on type 'Data'.
 tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(45,5): error TS2740: Type 'Objectish<any>' is missing the following properties from type 'any[]': length, pop, push, concat, and 16 more.
 tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(46,5): error TS2322: Type 'Objectish<any>' is not assignable to type 'any[]'.
+tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(53,5): error TS2322: Type 'string[]' is not assignable to type '[any, any]'.
+  Target requires 2 element(s) but source may have fewer.
 
 
-==== tests/cases/conformance/types/mapped/mappedTypeWithAny.ts (3 errors) ====
+==== tests/cases/conformance/types/mapped/mappedTypeWithAny.ts (4 errors) ====
     type Item = { value: string };
     type ItemMap<T> = { [P in keyof T]: Item };
 
@@ -59,4 +61,10 @@ tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(46,5): error TS2322: T
     }
 
     declare function stringifyArray<T extends readonly any[]>(arr: T): { -readonly [K in keyof T]: string };
-    let abc: any[] = stringifyArray(void 0 as any);
+    let abc: any[] = stringifyArray(void 0 as any);
+    
+    declare function stringifyPair<T extends readonly [any, any]>(arr: T): { -readonly [K in keyof T]: string };
+    let def: [any, any] = stringifyPair(void 0 as any);
+        ~~~
+!!! error TS2322: Type 'string[]' is not assignable to type '[any, any]'.
+!!! error TS2322:   Target requires 2 element(s) but source may have fewer.

tests/baselines/reference/mappedTypeWithAny.js

@@ -48,7 +48,10 @@ function bar(arrayish: Arrayish<any>, objectish: Objectish<any>, indirectArrayis
 }
 
 declare function stringifyArray<T extends readonly any[]>(arr: T): { -readonly [K in keyof T]: string };
-let abc: any[] = stringifyArray(void 0 as any);
+let abc: any[] = stringifyArray(void 0 as any);
+
+declare function stringifyPair<T extends readonly [any, any]>(arr: T): { -readonly [K in keyof T]: string };
+let def: [any, any] = stringifyPair(void 0 as any);
 
 //// [mappedTypeWithAny.js]
 "use strict";
@@ -63,6 +66,7 @@ function bar(arrayish, objectish, indirectArrayish) {
     arr = indirectArrayish;
 }
 var abc = stringifyArray(void 0);
+var def = stringifyPair(void 0);
 
 
 //// [mappedTypeWithAny.d.ts]
@@ -102,3 +106,7 @@ declare function stringifyArray<T extends readonly any[]>(arr: T): {
     -readonly [K in keyof T]: string;
 };
 declare let abc: any[];
+declare function stringifyPair<T extends readonly [any, any]>(arr: T): {
+    -readonly [K in keyof T]: string;
+};
+declare let def: [any, any];

tests/baselines/reference/mappedTypeWithAny.symbols

@@ -139,3 +139,15 @@ let abc: any[] = stringifyArray(void 0 as any);
 >abc : Symbol(abc, Decl(mappedTypeWithAny.ts, 49, 3))
 >stringifyArray : Symbol(stringifyArray, Decl(mappedTypeWithAny.ts, 46, 1))
 
+declare function stringifyPair<T extends readonly [any, any]>(arr: T): { -readonly [K in keyof T]: string };
+>stringifyPair : Symbol(stringifyPair, Decl(mappedTypeWithAny.ts, 49, 47))
+>T : Symbol(T, Decl(mappedTypeWithAny.ts, 51, 31))
+>arr : Symbol(arr, Decl(mappedTypeWithAny.ts, 51, 62))
+>T : Symbol(T, Decl(mappedTypeWithAny.ts, 51, 31))
+>K : Symbol(K, Decl(mappedTypeWithAny.ts, 51, 84))
+>T : Symbol(T, Decl(mappedTypeWithAny.ts, 51, 31))
+
+let def: [any, any] = stringifyPair(void 0 as any);
+>def : Symbol(def, Decl(mappedTypeWithAny.ts, 52, 3))
+>stringifyPair : Symbol(stringifyPair, Decl(mappedTypeWithAny.ts, 49, 47))
+

tests/baselines/reference/mappedTypeWithAny.types

@@ -113,3 +113,15 @@ let abc: any[] = stringifyArray(void 0 as any);
 >void 0 : undefined
 >0 : 0
 
+declare function stringifyPair<T extends readonly [any, any]>(arr: T): { -readonly [K in keyof T]: string };
+>stringifyPair : <T extends readonly [any, any]>(arr: T) => { -readonly [K in keyof T]: string; }
+>arr : T
+
+let def: [any, any] = stringifyPair(void 0 as any);
+>def : [any, any]
+>stringifyPair(void 0 as any) : string[]
+>stringifyPair : <T extends readonly [any, any]>(arr: T) => { -readonly [K in keyof T]: string; }
+>void 0 as any : any
+>void 0 : undefined
+>0 : 0
+