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
|
/// <reference path='fourslash.ts'/>
////interface Collection<T> {
//// length: number;
//// add(x: T): void;
//// remove(x: T): boolean;
////}
////interface Combinators {
//// map<T, U>(c: Collection<T>, f: (x: T) => U): Collection<U>;
//// map<T>(c: Collection<T>, f: (x: T) => any): Collection<any>;
////}
////class A {
//// foo<T>() { return this; }
////}
////class B<T> {
//// foo(x: T): T { return null; }
////}
////var c2: Collection<number>;
////var c3: Collection<Collection<number>>;
////var c4: Collection<A>;
////var c5: Collection<B<any>>;
////var _: Combinators;
////var rf1 = (x: number) => { return x.toFixed() };
////var rf2 = (x: Collection<number>) => { return x.length };
////var rf3 = (x: A) => { return x.foo() };
////var /*9*/r1a = _.map(c2, (/*1*/x) => { return x.toFixed() });
////var /*10*/r1b = _.map(c2, rf1);
////var /*11*/r2a = _.map(c3, (/*2*/x: Collection<number>) => { return x.length });
////var /*12*/r2b = _.map(c3, rf2);
////var /*13*/r3a = _.map(c4, (/*3*/x) => { return x.foo() });
////var /*14*/r3b = _.map(c4, rf3);
////var /*15*/r4a = _.map(c5, (/*4*/x) => { return x.foo(1) });
////var /*17*/r5a = _.map<number, string>(c2, (/*5*/x) => { return x.toFixed() });
////var /*18*/r5b = _.map<number, string>(c2, rf1);
////var /*19*/r6a = _.map<Collection<number>, number>(/*6*/c3, (x: Collection<number>) => { return x.length });
////var /*20*/r6b = _.map<Collection<number>, number>(c3, rf2);
////var /*21*/r7a = _.map<A, A>(c4, (/*7*/x: A) => { return x.foo() });
////var /*22*/r7b = _.map<A, A>(c4, rf3);
////var /*23*/r8a = _.map</*error1*/B/*error2*/, string>(c5, (/*8*/x) => { return x.foo() });
verify.quickInfos({
1: "(parameter) x: number",
2: "(parameter) x: Collection<number>",
3: "(parameter) x: A",
4: "(parameter) x: B<any>",
5: "(parameter) x: number",
6: "var c3: Collection<Collection<number>>",
7: "(parameter) x: A",
8: "(parameter) x: any", // Specialized to any because no type argument was specified
9: "var r1a: Collection<string>",
10: "var r1b: Collection<string>",
11: "var r2a: Collection<number>",
12: "var r2b: Collection<number>",
13: "var r3a: Collection<A>",
14: "var r3b: Collection<A>",
15: "var r4a: Collection<any>",
17: "var r5a: Collection<string>",
18: "var r5b: Collection<string>",
19: "var r6a: Collection<number>",
20: "var r6b: Collection<number>",
21: "var r7a: Collection<A>",
22: "var r7b: Collection<A>",
23: "var r8a: Collection<string>"
});
verify.errorExistsBetweenMarkers('error1', 'error2');
|
