microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-07-02 14:48:32 -05:00
Code Issues Packages Projects Releases 212 Wiki Activity

Merge pull request #5942 from Microsoft/fixUnionToUnionTypeInference

Browse Source 
Fix union/union or intersection/intersection type inference
This commit is contained in:
Anders Hejlsberg
2015-12-05 09:28:18 -08:00
parent 4735c00f05 6901a98c85
commit 3ce91c438a
5 changed files with 98 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
tests/baselines/reference/recursiveUnionTypeInference.js Normal file
View File

@@ -0,0 +1,14 @@
//// [recursiveUnionTypeInference.ts]
interface Foo<T> {
x: T;
}
function bar<T>(x: Foo<T> | string): T {
return bar(x);
}
//// [recursiveUnionTypeInference.js]
function bar(x) {
return bar(x);
}

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

@@ -0,0 +1,23 @@
=== tests/cases/compiler/recursiveUnionTypeInference.ts ===
interface Foo<T> {
>Foo : Symbol(Foo, Decl(recursiveUnionTypeInference.ts, 0, 0))
>T : Symbol(T, Decl(recursiveUnionTypeInference.ts, 0, 14))
x: T;
>x : Symbol(x, Decl(recursiveUnionTypeInference.ts, 0, 18))
>T : Symbol(T, Decl(recursiveUnionTypeInference.ts, 0, 14))
}
function bar<T>(x: Foo<T> | string): T {
>bar : Symbol(bar, Decl(recursiveUnionTypeInference.ts, 2, 1))
>T : Symbol(T, Decl(recursiveUnionTypeInference.ts, 4, 13))
>x : Symbol(x, Decl(recursiveUnionTypeInference.ts, 4, 16))
>Foo : Symbol(Foo, Decl(recursiveUnionTypeInference.ts, 0, 0))
>T : Symbol(T, Decl(recursiveUnionTypeInference.ts, 4, 13))
>T : Symbol(T, Decl(recursiveUnionTypeInference.ts, 4, 13))
return bar(x);
>bar : Symbol(bar, Decl(recursiveUnionTypeInference.ts, 2, 1))
>x : Symbol(x, Decl(recursiveUnionTypeInference.ts, 4, 16))
}

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

@@ -0,0 +1,24 @@
=== tests/cases/compiler/recursiveUnionTypeInference.ts ===
interface Foo<T> {
>Foo : Foo<T>
>T : T
x: T;
>x : T
>T : T
}
function bar<T>(x: Foo<T> | string): T {
>bar : <T>(x: Foo<T> | string) => T
>T : T
>x : Foo<T> | string
>Foo : Foo<T>
>T : T
>T : T
return bar(x);
>bar(x) : T
>bar : <T>(x: Foo<T> | string) => T
>x : Foo<T> | string
}

7
tests/cases/compiler/recursiveUnionTypeInference.ts Normal file
View File

@@ -0,0 +1,7 @@
interface Foo<T> {
x: T;
}
function bar<T>(x: Foo<T> | string): T {
return bar(x);
}