From 44a6c6cc6ff0f3c9bfedb9e0a69d68232c10fdcf Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 5 Aug 2017 10:09:44 -0700
Subject: [PATCH] { [P in K]: T } is related to { [x: string]: U } if T is
 related to U

---
 src/compiler/checker.ts | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
index 7913520bfdb..2cbaf0e1992 100644
--- a/src/compiler/checker.ts
+++ b/src/compiler/checker.ts
@@ -9614,6 +9614,11 @@ namespace ts {
                 if (sourceInfo) {
                     return indexInfoRelatedTo(sourceInfo, targetInfo, reportErrors);
                 }
+                if (isGenericMappedType(source)) {
+                    // A generic mapped type { [P in K]: T } is related to an index signature { [x: string]: U }
+                    // if T is related to U.
+                    return kind === IndexKind.String && isRelatedTo(getTemplateTypeFromMappedType(<MappedType>source), targetInfo.type, reportErrors);
+                }
                 if (isObjectLiteralType(source)) {
                     let related = Ternary.True;
                     if (kind === IndexKind.String) {