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
|
=== tests/cases/compiler/declarationEmitFirstTypeArgumentGenericFunctionType.ts ===
class X<A> {
>X : X<A>
>A : A
}
var prop11: X< <Tany>() => Tany >; // spaces before the first type argument
>prop11 : X<(<Tany>() => Tany)>
>X : X<A>
>Tany : Tany
>Tany : Tany
var prop12: X<(<Tany>() => Tany)>; // spaces before the first type argument
>prop12 : X<(<Tany>() => Tany)>
>X : X<A>
>Tany : Tany
>Tany : Tany
function f1() { // Inferred return type
>f1 : () => X<(<Tany>() => Tany)>
return prop11;
>prop11 : X<(<Tany>() => Tany)>
}
function f2() { // Inferred return type
>f2 : () => X<(<Tany>() => Tany)>
return prop12;
>prop12 : X<(<Tany>() => Tany)>
}
function f3(): X< <Tany>() => Tany> { // written with space before type argument
>f3 : () => X<(<Tany>() => Tany)>
>X : X<A>
>Tany : Tany
>Tany : Tany
return prop11;
>prop11 : X<(<Tany>() => Tany)>
}
function f4(): X<(<Tany>() => Tany)> { // written type with parenthesis
>f4 : () => X<(<Tany>() => Tany)>
>X : X<A>
>Tany : Tany
>Tany : Tany
return prop12;
>prop12 : X<(<Tany>() => Tany)>
}
class Y<A, B> {
>Y : Y<A, B>
>A : A
>B : B
}
var prop2: Y<string[], <Tany>() => Tany>; // No space after second type argument
>prop2 : Y<string[], <Tany>() => Tany>
>Y : Y<A, B>
>Tany : Tany
>Tany : Tany
var prop2: Y<string[], <Tany>() => Tany>; // space after second type argument
>prop2 : Y<string[], <Tany>() => Tany>
>Y : Y<A, B>
>Tany : Tany
>Tany : Tany
var prop3: Y< <Tany>() => Tany, <Tany>() => Tany>; // space before first type argument
>prop3 : Y<(<Tany>() => Tany), <Tany>() => Tany>
>Y : Y<A, B>
>Tany : Tany
>Tany : Tany
>Tany : Tany
>Tany : Tany
var prop4: Y<(<Tany>() => Tany), <Tany>() => Tany>; // parenthesized first type argument
>prop4 : Y<(<Tany>() => Tany), <Tany>() => Tany>
>Y : Y<A, B>
>Tany : Tany
>Tany : Tany
>Tany : Tany
>Tany : Tany
|
