diff --git a/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts b/tests/cases/conformance/types/mapped/isomorphicMappedTypeInference.ts
index 534d50c367e..031cf840d33 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