From 68eb7b9fe259d507ed4aa4d2614aac7f2f00d745 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Tue, 9 Apr 2019 15:29:51 -1000
Subject: [PATCH] Add test

---
 .../cases/conformance/types/keyof/keyofAndIndexedAccess2.ts  | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
index ee724dc1251..2d96e20f12a 100644
--- a/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
+++ b/tests/cases/conformance/types/keyof/keyofAndIndexedAccess2.ts
@@ -37,6 +37,11 @@ function f3<K extends string>(a: { [P in K]: number }, b: { [key: string]: numbe
     a[k] = 1;
 }
 
+function f3b<K extends string>(a: { [P in K]: number }, b: { [P in string]: number }, k: K) {
+    a = b;  // Error, index signature doesn't imply properties are present
+    b = a;
+}
+
 function f4<K extends string>(a: { [key: string]: number }[K], b: number) {
   a = b;
   b = a;