Add regression test

Author: ahejlsberg

tests/baselines/reference/mappedTypeWithAny.errors.txt

@@ -67,4 +67,14 @@ tests/cases/conformance/types/mapped/mappedTypeWithAny.ts(53,5): error TS2322: T
     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.
+!!! error TS2322:   Target requires 2 element(s) but source may have fewer.
+    
+    // Repro from #46582
+    
+    export type Evolvable<E extends Evolver> = {
+      [P in keyof E]: never;
+    };
+    export type Evolver<T extends Evolvable<any> = any> = {
+      [key in keyof Partial<T>]: never;
+    };
+    

tests/baselines/reference/mappedTypeWithAny.js

@@ -51,10 +51,21 @@ declare function stringifyArray<T extends readonly any[]>(arr: T): { -readonly [
 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);
+let def: [any, any] = stringifyPair(void 0 as any);
+
+// Repro from #46582
+
+export type Evolvable<E extends Evolver> = {
+  [P in keyof E]: never;
+};
+export type Evolver<T extends Evolvable<any> = any> = {
+  [key in keyof Partial<T>]: never;
+};
+
 
 //// [mappedTypeWithAny.js]
 "use strict";
+exports.__esModule = true;
 for (var id in z) {
     var data = z[id];
     var x = data.notAValue; // Error
@@ -70,43 +81,9 @@ var def = stringifyPair(void 0);
 
 
 //// [mappedTypeWithAny.d.ts]
-declare type Item = {
-    value: string;
-};
-declare type ItemMap<T> = {
-    [P in keyof T]: Item;
-};
-declare let x0: keyof any;
-declare let x1: {
-    [P in any]: Item;
-};
-declare let x2: {
-    [P in string]: Item;
-};
-declare let x3: {
-    [P in keyof any]: Item;
-};
-declare let x4: ItemMap<any>;
-declare type Data = {
-    value: string;
-};
-declare type StrictDataMap<T> = {
-    [P in keyof T]: Data;
-};
-declare let z: StrictDataMap<any>;
-declare type Arrayish<T extends unknown[]> = {
-    [K in keyof T]: T[K];
-};
-declare type Objectish<T extends unknown> = {
-    [K in keyof T]: T[K];
-};
-declare type IndirectArrayish<U extends unknown[]> = Objectish<U>;
-declare function bar(arrayish: Arrayish<any>, objectish: Objectish<any>, indirectArrayish: IndirectArrayish<any>): void;
-declare function stringifyArray<T extends readonly any[]>(arr: T): {
-    -readonly [K in keyof T]: string;
+export declare type Evolvable<E extends Evolver> = {
+    [P in keyof E]: never;
 };
-declare let abc: any[];
-declare function stringifyPair<T extends readonly [any, any]>(arr: T): {
-    -readonly [K in keyof T]: string;
+export declare type Evolver<T extends Evolvable<any> = any> = {
+    [key in keyof Partial<T>]: never;
 };
-declare let def: [any, any];

tests/baselines/reference/mappedTypeWithAny.symbols

@@ -151,3 +151,27 @@ 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))
 
+// Repro from #46582
+
+export type Evolvable<E extends Evolver> = {
+>Evolvable : Symbol(Evolvable, Decl(mappedTypeWithAny.ts, 52, 51))
+>E : Symbol(E, Decl(mappedTypeWithAny.ts, 56, 22))
+>Evolver : Symbol(Evolver, Decl(mappedTypeWithAny.ts, 58, 2))
+
+  [P in keyof E]: never;
+>P : Symbol(P, Decl(mappedTypeWithAny.ts, 57, 3))
+>E : Symbol(E, Decl(mappedTypeWithAny.ts, 56, 22))
+
+};
+export type Evolver<T extends Evolvable<any> = any> = {
+>Evolver : Symbol(Evolver, Decl(mappedTypeWithAny.ts, 58, 2))
+>T : Symbol(T, Decl(mappedTypeWithAny.ts, 59, 20))
+>Evolvable : Symbol(Evolvable, Decl(mappedTypeWithAny.ts, 52, 51))
+
+  [key in keyof Partial<T>]: never;
+>key : Symbol(key, Decl(mappedTypeWithAny.ts, 60, 3))
+>Partial : Symbol(Partial, Decl(lib.es5.d.ts, --, --))
+>T : Symbol(T, Decl(mappedTypeWithAny.ts, 59, 20))
+
+};
+

tests/baselines/reference/mappedTypeWithAny.types

@@ -125,3 +125,16 @@ let def: [any, any] = stringifyPair(void 0 as any);
 >void 0 : undefined
 >0 : 0
 
+// Repro from #46582
+
+export type Evolvable<E extends Evolver> = {
+>Evolvable : Evolvable<E>
+
+  [P in keyof E]: never;
+};
+export type Evolver<T extends Evolvable<any> = any> = {
+>Evolver : Evolver<T>
+
+  [key in keyof Partial<T>]: never;
+};
+

tests/cases/conformance/types/mapped/mappedTypeWithAny.ts

@@ -53,4 +53,13 @@ declare function stringifyArray<T extends readonly any[]>(arr: T): { -readonly [
 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);
+let def: [any, any] = stringifyPair(void 0 as any);
+
+// Repro from #46582
+
+export type Evolvable<E extends Evolver> = {
+  [P in keyof E]: never;
+};
+export type Evolver<T extends Evolvable<any> = any> = {
+  [key in keyof Partial<T>]: never;
+};