From a712344733da20911f722f0de78fbcaf6738f5b6 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 3 Feb 2018 09:44:47 -0800
Subject: [PATCH] Add tests

---
 .../cases/conformance/types/conditional/conditionalTypes1.ts  | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/tests/cases/conformance/types/conditional/conditionalTypes1.ts b/tests/cases/conformance/types/conditional/conditionalTypes1.ts
index d882b4c8bf3..6f4e7dc4188 100644
--- a/tests/cases/conformance/types/conditional/conditionalTypes1.ts
+++ b/tests/cases/conformance/types/conditional/conditionalTypes1.ts
@@ -196,3 +196,7 @@ type O6 = Or<false, boolean>;  // boolean
 type O7 = Or<boolean, true>;  // true
 type O8 = Or<true, boolean>;  // true
 type O9 = Or<boolean, boolean>;  // boolean
+
+type T40 = never extends never ? true : false;  // true
+type T41 = number extends never ? true : false;  // false
+type T42 = never extends number ? true : false;  // boolean