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
95
96
97
98
|
/// <reference path='fourslash.ts'/>
////interface I {
//// x: number;
////}
////
////var anInterface: I;
////interface IG<T> {
//// x: T;
////}
////var aGenericInterface: IG<number>;
////
////class C<T> implements IG<T> {
//// x: T;
////}
////
////interface Foo<T> {
//// ofFooT: Foo<T>;
//// ofFooFooNum: Foo<Foo<number>>; // should be error?
//// ofIG: IG<T>;
//// ofIG5: { x: Foo<T>; }; // same as ofIG3
//// ofC1: C<T>;
////}
////
////var f: Foo<any>;
////var f2: Foo<number>;
////var f3: Foo<I>;
////var f4: Foo<{ x: number }>;
////var f5: Foo<Foo<number>>;
////
////// T is any
////var f_/*a1*/r4 = f.ofFooT;
////var f_/*a2*/r7 = f.ofFooFooNum;
////var f_/*a3*/r9 = f.ofIG;
////var f_/*a5*/r13 = f.ofIG5;
////var f_/*a7*/r17 = f.ofC1;
////
////// T is number
////var f2_/*b1*/r4 = f2.ofFooT;
////var f2_/*b2*/r7 = f2.ofFooFooNum;
////var f2_/*b3*/r9 = f2.ofIG;
////var f2_/*b5*/r13 = f2.ofIG5;
////var f2_/*b7*/r17 = f2.ofC1;
////
////// T is I}
////var f3_/*c1*/r4 = f3.ofFooT;
////var f3_/*c2*/r7 = f3.ofFooFooNum;
////var f3_/*c3*/r9 = f3.ofIG;
////var f3_/*c5*/r13 = f3.ofIG5;
////var f3_/*c7*/r17 = f3.ofC1;
////
////// T is {x: number}
////var f4_/*d1*/r4 = f4.ofFooT;
////var f4_/*d2*/r7 = f4.ofFooFooNum;
////var f4_/*d3*/r9 = f4.ofIG;
////var f4_/*d5*/r13 = f4.ofIG5;
////var f4_/*d7*/r17 = f4.ofC1;
////
////// T is Foo<number>
////var f5_/*e1*/r4 = f5.ofFooT;
////var f5_/*e2*/r7 = f5.ofFooFooNum;
////var f5_/*e3*/r9 = f5.ofIG;
////var f5_/*e5*/r13 = f5.ofIG5;
////var f5_/*e7*/r17 = f5.ofC1;
verify.noErrors();
verify.quickInfos({
a1: "var f_r4: Foo<any>",
a2: "var f_r7: Foo<Foo<number>>",
a3: "var f_r9: IG<any>",
a5: "var f_r13: {\n x: Foo<any>;\n}",
a7: "var f_r17: C<any>",
b1: "var f2_r4: Foo<number>",
b2: "var f2_r7: Foo<Foo<number>>",
b3: "var f2_r9: IG<number>",
b5: "var f2_r13: {\n x: Foo<number>;\n}",
b7: "var f2_r17: C<number>",
c1: "var f3_r4: Foo<I>",
c2: "var f3_r7: Foo<Foo<number>>",
c3: "var f3_r9: IG<I>",
c5: "var f3_r13: {\n x: Foo<I>;\n}",
c7: "var f3_r17: C<I>",
d1: "var f4_r4: Foo<{\n x: number;\n}>",
d2: "var f4_r7: Foo<Foo<number>>",
d3: "var f4_r9: IG<{\n x: number;\n}>",
d5: "var f4_r13: {\n x: Foo<{\n x: number;\n }>;\n}",
d7: "var f4_r17: C<{\n x: number;\n}>",
e1: "var f5_r4: Foo<Foo<number>>",
e2: "var f5_r7: Foo<Foo<number>>",
e3: "var f5_r9: IG<Foo<number>>",
e5: "var f5_r13: {\n x: Foo<Foo<number>>;\n}",
e7: "var f5_r17: C<Foo<number>>",
});
|
