diff --git a/tests/baselines/reference/conditionalTypes1.errors.txt b/tests/baselines/reference/conditionalTypes1.errors.txt
index 900925052ac..8016c4449d3 100644
--- a/tests/baselines/reference/conditionalTypes1.errors.txt
+++ b/tests/baselines/reference/conditionalTypes1.errors.txt
@@ -334,4 +334,8 @@ tests/cases/conformance/types/conditional/conditionalTypes1.ts(157,5): error TS2
     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
     
\ No newline at end of file
diff --git a/tests/baselines/reference/conditionalTypes1.js b/tests/baselines/reference/conditionalTypes1.js
index 54241bb553a..088181b3b12 100644
--- a/tests/baselines/reference/conditionalTypes1.js
+++ b/tests/baselines/reference/conditionalTypes1.js
@@ -194,6 +194,10 @@ 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
 
 
 //// [conditionalTypes1.js]
@@ -398,3 +402,6 @@ declare type O6 = Or<false, boolean>;
 declare type O7 = Or<boolean, true>;
 declare type O8 = Or<true, boolean>;
 declare type O9 = Or<boolean, boolean>;
+declare type T40 = never extends never ? true : false;
+declare type T41 = number extends never ? true : false;
+declare type T42 = never extends number ? true : false;
diff --git a/tests/baselines/reference/conditionalTypes1.symbols b/tests/baselines/reference/conditionalTypes1.symbols
index 16322f4c151..ab0426f67d5 100644
--- a/tests/baselines/reference/conditionalTypes1.symbols
+++ b/tests/baselines/reference/conditionalTypes1.symbols
@@ -751,3 +751,12 @@ type O9 = Or<boolean, boolean>;  // boolean
 >O9 : Symbol(O9, Decl(conditionalTypes1.ts, 193, 28))
 >Or : Symbol(Or, Decl(conditionalTypes1.ts, 162, 65))
 
+type T40 = never extends never ? true : false;  // true
+>T40 : Symbol(T40, Decl(conditionalTypes1.ts, 194, 31))
+
+type T41 = number extends never ? true : false;  // false
+>T41 : Symbol(T41, Decl(conditionalTypes1.ts, 196, 46))
+
+type T42 = never extends number ? true : false;  // boolean
+>T42 : Symbol(T42, Decl(conditionalTypes1.ts, 197, 47))
+
diff --git a/tests/baselines/reference/conditionalTypes1.types b/tests/baselines/reference/conditionalTypes1.types
index 86a02fa001b..9fc72f368d5 100644
--- a/tests/baselines/reference/conditionalTypes1.types
+++ b/tests/baselines/reference/conditionalTypes1.types
@@ -849,3 +849,18 @@ type O9 = Or<boolean, boolean>;  // boolean
 >O9 : boolean
 >Or : If<A, true, B>
 
+type T40 = never extends never ? true : false;  // true
+>T40 : true
+>true : true
+>false : false
+
+type T41 = number extends never ? true : false;  // false
+>T41 : false
+>true : true
+>false : false
+
+type T42 = never extends number ? true : false;  // boolean
+>T42 : boolean
+>true : true
+>false : false
+