diff --git a/tests/cases/conformance/types/mapped/mappedTypes4.ts b/tests/cases/conformance/types/mapped/mappedTypes4.ts
index 74b3e395f3..4def192d60 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>;