From bb37a61f61884fb7f2283af45e5fb78e02ee611e Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Fri, 30 Dec 2016 18:48:16 -0800
Subject: [PATCH] Add regression test

---
 .../cases/conformance/types/mapped/mappedTypes4.ts  | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/tests/cases/conformance/types/mapped/mappedTypes4.ts b/tests/cases/conformance/types/mapped/mappedTypes4.ts
index 74b3e395f32..4def192d602 100644
--- a/tests/cases/conformance/types/mapped/mappedTypes4.ts
+++ b/tests/cases/conformance/types/mapped/mappedTypes4.ts
@@ -59,4 +59,15 @@ type DeepReadonlyFoo = {
 };
 
 var x1: DeepReadonly<Foo>;
-var x1: DeepReadonlyFoo;
\ No newline at end of file
+var x1: DeepReadonlyFoo;
+
+// Repro from #13232
+
+type Z = { a: number };
+type Clone<T> = {
+  [P in keyof (T & {})]: T[P];
+};
+type M = Clone<Z>; // M should be { a: number }
+
+var z1: Z;
+var z1: Clone<Z>;