From 577662de428f7574a671fdef48e9675fc9123578 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Tue, 29 May 2018 17:55:57 -0700
Subject: [PATCH] Update tests

---
 tests/cases/conformance/types/unknown/unknownType1.ts | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tests/cases/conformance/types/unknown/unknownType1.ts b/tests/cases/conformance/types/unknown/unknownType1.ts
index b7a9e717231..3307f5c4481 100644
--- a/tests/cases/conformance/types/unknown/unknownType1.ts
+++ b/tests/cases/conformance/types/unknown/unknownType1.ts
@@ -30,10 +30,15 @@ type T23<T> = T | unknown;  // unknown
 // unknown in conditional types
 
 type T30<T> = unknown extends T ? true : false;  // Deferred
-type T31<T> = T extends unknown ? true : false;  // true
+type T31<T> = T extends unknown ? true : false;  // Deferred (so it distributes)
 type T32<T> = never extends T ? true : false;  // true
 type T33<T> = T extends never ? true : false;  // Deferred
 
+type T35<T> = T extends unknown ? { x: T } : false;
+type T36 = T35<string | number>;  // { x: string } | { x: number }
+type T37 = T35<any>;  // { x: any }
+type T38 = T35<unknown>;  // { x: unknown }
+
 // keyof unknown
 
 type T40 = keyof any;  // string | number | symbol