From 80ef89b822d4b11c5bce299250d76852b20cf540 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Mon, 9 Jan 2017 09:19:03 -0800
Subject: [PATCH] Add regression test

---
 ...ppedTypeWithCombinedTypeMappers.errors.txt | 25 +++++++++++++++++++
 .../mappedTypeWithCombinedTypeMappers.js      | 24 ++++++++++++++++++
 .../mappedTypeWithCombinedTypeMappers.ts      | 18 +++++++++++++
 3 files changed, 67 insertions(+)
 create mode 100644 tests/baselines/reference/mappedTypeWithCombinedTypeMappers.errors.txt
 create mode 100644 tests/baselines/reference/mappedTypeWithCombinedTypeMappers.js
 create mode 100644 tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts

diff --git a/tests/baselines/reference/mappedTypeWithCombinedTypeMappers.errors.txt b/tests/baselines/reference/mappedTypeWithCombinedTypeMappers.errors.txt
new file mode 100644
index 00000000000..56837dd787e
--- /dev/null
+++ b/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; }'.
+    
\ No newline at end of file
diff --git a/tests/baselines/reference/mappedTypeWithCombinedTypeMappers.js b/tests/baselines/reference/mappedTypeWithCombinedTypeMappers.js
new file mode 100644
index 00000000000..a445f2eebc5
--- /dev/null
+++ b/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;
diff --git a/tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts b/tests/cases/compiler/mappedTypeWithCombinedTypeMappers.ts
new file mode 100644
index 00000000000..9c6d8479b2e
--- /dev/null
+++ b/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;