From 8442a45bb6cd9f016dcd5aba0a17a10e38660de7 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Wed, 25 Apr 2018 11:03:25 -0700
Subject: [PATCH] Add additional tests

---
 .../intersection/intersectionWithUnionConstraint.ts  | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts b/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
index b406dd91586..278d72595cd 100644
--- a/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
+++ b/tests/cases/conformance/types/intersection/intersectionWithUnionConstraint.ts
@@ -16,6 +16,18 @@ function f2<T extends string | number | undefined, U extends string | null | und
 
 type T1 = (string | number | undefined) & (string | null | undefined);  // string | undefined
 
+function f3<T extends string | number | undefined>(x: T & (number | object | undefined)) {
+    const y: number | undefined = x;
+}
+
+function f4<T extends string | number>(x: T & (number | object)) {
+    const y: number = x;
+}
+
+function f5<T, U extends keyof T>(x: keyof T & U) {
+    let y: keyof any = x;
+}
+
 // Repro from #23648
 
 type Example<T, U> = { [K in keyof T]: K extends keyof U ? UnexpectedError<K> : NoErrorHere<K> }