Add regression test

Author: ahejlsberg

tests/baselines/reference/mappedTypeWithCombinedTypeMappers.errors.txt

@@ -0,0 +1,25 @@
+tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts(18,7): error TS2322: Type 'string' is not assignable to type '{ important: boolean; }'.
+
+
+==== tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts (1 errors) ====
+    // Repro from #13351
+    
+    type Meta<T, A> = {
+        readonly[P in keyof T]: {
+            value: T[P];
+            also: A;
+            readonly children: Meta<T[P], A>;
+        };
+    }
+    
+    interface Input {
+        x: string;
+        y: number;
+    }
+    
+    declare const output: Meta<Input, boolean>;
+    
+    const shouldFail: { important: boolean } = output.x.children;
+          ~~~~~~~~~~
+!!! error TS2322: Type 'string' is not assignable to type '{ important: boolean; }'.
+    

tests/baselines/reference/mappedTypeWithCombinedTypeMappers.js

@@ -0,0 +1,24 @@
+//// [mappedTypeWithCombinedTypeMappers.ts]
+// Repro from #13351
+
+type Meta<T, A> = {
+    readonly[P in keyof T]: {
+        value: T[P];
+        also: A;
+        readonly children: Meta<T[P], A>;
+    };
+}
+
+interface Input {
+    x: string;
+    y: number;
+}
+
+declare const output: Meta<Input, boolean>;
+
+const shouldFail: { important: boolean } = output.x.children;
+
+
+//// [mappedTypeWithCombinedTypeMappers.js]
+// Repro from #13351
+var shouldFail = output.x.children;

tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts

@@ -0,0 +1,18 @@
+// Repro from #13351
+
+type Meta<T, A> = {
+    readonly[P in keyof T]: {
+        value: T[P];
+        also: A;
+        readonly children: Meta<T[P], A>;
+    };
+}
+
+interface Input {
+    x: string;
+    y: number;
+}
+
+declare const output: Meta<Input, boolean>;
+
+const shouldFail: { important: boolean } = output.x.children;