From 078375765be69838f06eb22386820d19e75ee065 Mon Sep 17 00:00:00 2001
From: Anders Hejlsberg <andersh@microsoft.com>
Date: Sat, 27 Apr 2019 09:56:11 -0700
Subject: [PATCH] Add regression test

---
 tests/cases/conformance/types/conditional/inferTypes2.ts | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/tests/cases/conformance/types/conditional/inferTypes2.ts b/tests/cases/conformance/types/conditional/inferTypes2.ts
index fbf4ca808336e..77b910c511385 100644
--- a/tests/cases/conformance/types/conditional/inferTypes2.ts
+++ b/tests/cases/conformance/types/conditional/inferTypes2.ts
@@ -14,3 +14,11 @@ 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;