Accept new baselines

ahejlsberg · ahejlsberg · commit 09da98b18556 · 2018-03-21T10:03:57.000-07:00
diff --git a/tests/baselines/reference/inferTypes2.js b/tests/baselines/reference/inferTypes2.js
@@ -0,0 +1,22 @@
+//// [inferTypes2.ts]
+// Repro from #22755
+
+export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
+export function bar<T>(obj: T) {
+    return foo(obj);
+}
+
+
+//// [inferTypes2.js]
+"use strict";
+// Repro from #22755
+exports.__esModule = true;
+function bar(obj) {
+    return foo(obj);
+}
+exports.bar = bar;
+
+
+//// [inferTypes2.d.ts]
+export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
+export declare function bar<T>(obj: T): T extends () => infer P ? P : never;
diff --git a/tests/baselines/reference/inferTypes2.symbols b/tests/baselines/reference/inferTypes2.symbols
@@ -0,0 +1,23 @@
+=== tests/cases/conformance/types/conditional/inferTypes2.ts ===
+// Repro from #22755
+
+export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
+>foo : Symbol(foo, Decl(inferTypes2.ts, 0, 0))
+>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
+>obj : Symbol(obj, Decl(inferTypes2.ts, 2, 31))
+>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
+>T : Symbol(T, Decl(inferTypes2.ts, 2, 28))
+>P : Symbol(P, Decl(inferTypes2.ts, 2, 61))
+>P : Symbol(P, Decl(inferTypes2.ts, 2, 61))
+
+export function bar<T>(obj: T) {
+>bar : Symbol(bar, Decl(inferTypes2.ts, 2, 76))
+>T : Symbol(T, Decl(inferTypes2.ts, 3, 20))
+>obj : Symbol(obj, Decl(inferTypes2.ts, 3, 23))
+>T : Symbol(T, Decl(inferTypes2.ts, 3, 20))
+
+    return foo(obj);
+>foo : Symbol(foo, Decl(inferTypes2.ts, 0, 0))
+>obj : Symbol(obj, Decl(inferTypes2.ts, 3, 23))
+}
+
diff --git a/tests/baselines/reference/inferTypes2.types b/tests/baselines/reference/inferTypes2.types
@@ -0,0 +1,24 @@
+=== tests/cases/conformance/types/conditional/inferTypes2.ts ===
+// Repro from #22755
+
+export declare function foo<T>(obj: T): T extends () => infer P ? P : never;
+>foo : <T>(obj: T) => T extends () => infer P ? P : never
+>T : T
+>obj : T
+>T : T
+>T : T
+>P : P
+>P : P
+
+export function bar<T>(obj: T) {
+>bar : <T>(obj: T) => T extends () => infer P ? P : never
+>T : T
+>obj : T
+>T : T
+
+    return foo(obj);
+>foo(obj) : T extends () => infer P ? P : never
+>foo : <T>(obj: T) => T extends () => infer P ? P : never
+>obj : T
+}
+
