From e49320d1db82ae4e281914ab3b6c4d101da4e16d Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Fri, 8 Feb 2019 06:49:26 -0800
Subject: [PATCH] Add more tests

---
 .../conformance/types/mapped/isomorphicMappedTypeInference.ts | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts b/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts
index 534d50c367..031cf840d3 100644
--- a/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts
+++ b/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts
@@ -160,10 +160,14 @@ o = foo(o, {b: 9});
 declare function f20<T, K extends keyof T>(obj: Pick<T, K>): T;
 declare function f21<T, K extends keyof T>(obj: Pick<T, K>): K;
 declare function f22<T, K extends keyof T>(obj: Boxified<Pick<T, K>>): T;
+declare function f23<T, U extends keyof T, K extends U>(obj: Pick<T, K>): T;
+declare function f24<T, U, K extends keyof T | keyof U>(obj: Pick<T & U, K>): T & U;
 
 let x0 = f20({ foo: 42, bar: "hello" });
 let x1 = f21({ foo: 42, bar: "hello" });
 let x2 = f22({ foo: { value: 42} , bar: { value: "hello" } });
+let x3 = f23({ foo: 42, bar: "hello" });
+let x4 = f24({ foo: 42, bar: "hello" });
 
 // Repro from #29765