File: unionAndIntersectionInference2.types

package info (click to toggle)
node-typescript 2.1.5-1
  • links: PTS, VCS
  • area: main
  • in suites: stretch
  • size: 203,952 kB
  • ctags: 52,987
  • sloc: sh: 11; makefile: 5
file content (94 lines) | stat: -rw-r--r-- 2,206 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
=== tests/cases/conformance/types/typeRelationships/typeInference/unionAndIntersectionInference2.ts ===
declare function f1<T>(x: T | string): T;
>f1 : <T>(x: string | T) => T
>T : T
>x : string | T
>T : T
>T : T

var a1: string;
>a1 : string

var b1: string | string[];
>b1 : string | string[]

var c1: string[] | string;
>c1 : string | string[]

var d1: string | { name: string };
>d1 : string | { name: string; }
>name : string

var e1: number | string | boolean;
>e1 : string | number | boolean

f1(a1); // string
>f1(a1) : string
>f1 : <T>(x: string | T) => T
>a1 : string

f1(b1); // string[]
>f1(b1) : string[]
>f1 : <T>(x: string | T) => T
>b1 : string | string[]

f1(c1); // string[]
>f1(c1) : string[]
>f1 : <T>(x: string | T) => T
>c1 : string | string[]

f1(d1); // { name: string }
>f1(d1) : { name: string; }
>f1 : <T>(x: string | T) => T
>d1 : string | { name: string; }

f1(e1); // number | boolean
>f1(e1) : number | boolean
>f1 : <T>(x: string | T) => T
>e1 : string | number | boolean

declare function f2<T>(x: T & { name: string }): T;
>f2 : <T>(x: T & { name: string; }) => T
>T : T
>x : T & { name: string; }
>T : T
>name : string
>T : T

var a2: string & { name: string };
>a2 : string & { name: string; }
>name : string

var b2: { name: string } & string[];
>b2 : { name: string; } & string[]
>name : string

var c2: string & { name: string } & number;
>c2 : string & { name: string; } & number
>name : string

var d2: string & { name: string } & number & { name: string };
>d2 : string & { name: string; } & number & { name: string; }
>name : string
>name : string

f2(a2); // string
>f2(a2) : string
>f2 : <T>(x: T & { name: string; }) => T
>a2 : string & { name: string; }

f2(b2); // string[]
>f2(b2) : string[]
>f2 : <T>(x: T & { name: string; }) => T
>b2 : { name: string; } & string[]

f2(c2); // string & number
>f2(c2) : string & number
>f2 : <T>(x: T & { name: string; }) => T
>c2 : string & { name: string; } & number

f2(d2); // string & number
>f2(d2) : string & number
>f2 : <T>(x: T & { name: string; }) => T
>d2 : string & { name: string; } & number & { name: string; }