microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-03-15 05:55:11 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Accept new baselines

Browse Source
This commit is contained in:
Anders Hejlsberg
2018-03-21 10:03:57 -07:00
parent 4fef35cdd0
commit 09da98b185
3 changed files with 69 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

22
tests/baselines/reference/inferTypes2.js Normal file
View File

@@ -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;

23
tests/baselines/reference/inferTypes2.symbols Normal file
View File

@@ -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))
}

24
tests/baselines/reference/inferTypes2.types Normal file
View File

@@ -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
}