microsoft/TypeScript
1
0
Fork 0
mirror of https://github.com/microsoft/TypeScript.git synced 2026-02-13 16:34:39 -06:00
Code Issues Packages Projects Releases 212 Wiki Activity

Accepting new baselines

Browse Source
This commit is contained in:
unknown 2015-04-14 14:18:57 -07:00
parent 7393898076
commit f33acf8ba4
1 changed files with 17 additions and 17 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

34
tests/baselines/reference/unionTypeReduction.types
View File

@ -1,42 +1,42 @@
=== tests/cases/conformance/types/union/unionTypeReduction.ts ===
interface I2 {
>I2 : I2
>I2 : I2, Symbol(I2, Decl(unionTypeReduction.ts, 0, 0))
(): number;
(q): boolean;
>q : any
>q : any, Symbol(q, Decl(unionTypeReduction.ts, 2, 5))
}
interface I3 {
>I3 : I3
>I3 : I3, Symbol(I3, Decl(unionTypeReduction.ts, 3, 1))
(): number;
}
var i2: I2, i3: I3;
>i2 : I2
>I2 : I2
>i3 : I3
>I3 : I3
>i2 : I2, Symbol(i2, Decl(unionTypeReduction.ts, 9, 3))
>I2 : I2, Symbol(I2, Decl(unionTypeReduction.ts, 0, 0))
>i3 : I3, Symbol(i3, Decl(unionTypeReduction.ts, 9, 11))
>I3 : I3, Symbol(I3, Decl(unionTypeReduction.ts, 3, 1))
var e1: I2 | I3;
>e1 : I2 | I3
>I2 : I2
>I3 : I3
>e1 : I2 | I3, Symbol(e1, Decl(unionTypeReduction.ts, 11, 3))
>I2 : I2, Symbol(I2, Decl(unionTypeReduction.ts, 0, 0))
>I3 : I3, Symbol(I3, Decl(unionTypeReduction.ts, 3, 1))
var e2 = i2 || i3; // Type of e2 immediately reduced to I3
>e2 : I3
>e2 : I3, Symbol(e2, Decl(unionTypeReduction.ts, 12, 3))
>i2 || i3 : I3
>i2 : I2
>i3 : I3
>i2 : I2, Symbol(i2, Decl(unionTypeReduction.ts, 9, 3))
>i3 : I3, Symbol(i3, Decl(unionTypeReduction.ts, 9, 11))
var r1 = e1(); // Type of e1 reduced to I3 upon accessing property or signature
>r1 : number
>r1 : number, Symbol(r1, Decl(unionTypeReduction.ts, 14, 3))
>e1() : number
>e1 : I2 | I3
>e1 : I2 | I3, Symbol(e1, Decl(unionTypeReduction.ts, 11, 3))
var r2 = e2();
>r2 : number
>r2 : number, Symbol(r2, Decl(unionTypeReduction.ts, 15, 3))
>e2() : number
>e2 : I3
>e2 : I3, Symbol(e2, Decl(unionTypeReduction.ts, 12, 3))