From 19bdaf8644c15b7db7567fb0204cfb971d7dd2b4 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 27 Apr 2019 09:56:17 -0700
Subject: [PATCH] Accept new baselines

---
 tests/baselines/reference/inferTypes2.js      | 10 ++++++++++
 tests/baselines/reference/inferTypes2.symbols | 20 +++++++++++++++++++
 tests/baselines/reference/inferTypes2.types   | 16 +++++++++++++++
 3 files changed, 46 insertions(+)

diff --git a/tests/baselines/reference/inferTypes2.js b/tests/baselines/reference/inferTypes2.js
index 2b2c318716aa9..b71a339f3e079 100644
--- a/tests/baselines/reference/inferTypes2.js
+++ b/tests/baselines/reference/inferTypes2.js
@@ -12,6 +12,14 @@ export declare function foo2<T>(obj: T): T extends { [K in keyof BadNested<infer
 export function bar2<T>(obj: T) {
     return foo2(obj);
 }
+
+// Repros from #31099
+
+type Weird = any extends infer U ? U : never;
+type AlsoWeird = unknown extends infer U ? U : never;
+
+const a: Weird = null;
+const b: string = a;
 
 
 //// [inferTypes2.js]
@@ -26,6 +34,8 @@ function bar2(obj) {
     return foo2(obj);
 }
 exports.bar2 = bar2;
+var a = null;
+var b = a;
 
 
 //// [inferTypes2.d.ts]
diff --git a/tests/baselines/reference/inferTypes2.symbols b/tests/baselines/reference/inferTypes2.symbols
index d32d9a7012bee..8d792ea79c225 100644
--- a/tests/baselines/reference/inferTypes2.symbols
+++ b/tests/baselines/reference/inferTypes2.symbols
@@ -53,3 +53,23 @@ export function bar2<T>(obj: T) {
 >obj : Symbol(obj, Decl(inferTypes2.ts, 10, 24))
 }
 
+// Repros from #31099
+
+type Weird = any extends infer U ? U : never;
+>Weird : Symbol(Weird, Decl(inferTypes2.ts, 12, 1))
+>U : Symbol(U, Decl(inferTypes2.ts, 16, 30))
+>U : Symbol(U, Decl(inferTypes2.ts, 16, 30))
+
+type AlsoWeird = unknown extends infer U ? U : never;
+>AlsoWeird : Symbol(AlsoWeird, Decl(inferTypes2.ts, 16, 45))
+>U : Symbol(U, Decl(inferTypes2.ts, 17, 38))
+>U : Symbol(U, Decl(inferTypes2.ts, 17, 38))
+
+const a: Weird = null;
+>a : Symbol(a, Decl(inferTypes2.ts, 19, 5))
+>Weird : Symbol(Weird, Decl(inferTypes2.ts, 12, 1))
+
+const b: string = a;
+>b : Symbol(b, Decl(inferTypes2.ts, 20, 5))
+>a : Symbol(a, Decl(inferTypes2.ts, 19, 5))
+
diff --git a/tests/baselines/reference/inferTypes2.types b/tests/baselines/reference/inferTypes2.types
index 95fec4307569e..04ca9ea6d0553 100644
--- a/tests/baselines/reference/inferTypes2.types
+++ b/tests/baselines/reference/inferTypes2.types
@@ -33,3 +33,19 @@ export function bar2<T>(obj: T) {
 >obj : T
 }
 
+// Repros from #31099
+
+type Weird = any extends infer U ? U : never;
+>Weird : any
+
+type AlsoWeird = unknown extends infer U ? U : never;
+>AlsoWeird : unknown
+
+const a: Weird = null;
+>a : any
+>null : null
+
+const b: string = a;
+>b : string
+>a : any
+