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
|
/// <reference path='fourslash.ts' />
////class Con/*1*/tainer<T> {
//// x: T;
////}
////interface IList</*2*/T> {
//// getItem(i: number): /*3*/T;
////}
////class List2</*4*/T extends IList<number>> implements IList<T> {
//// private __it/*6*/em: /*5*/T[];
//// public get/*7*/Item(i: number) {
//// return this.__item[i];
//// }
//// public /*8*/method</*9*/S extends IList<T>>(s: S, p: /*10*/T[]) {
//// return s;
//// }
////}
////function foo4</*11*/T extends Date>(test: T): T;
////function foo4</*12*/S extends string>(test: S): S;
////function foo4(test: any): any;
////function foo4</*13*/T extends Date>(test: any): any { return null; }
////var x: List2<IList<number>>;
////var y = x./*14*/getItem(10);
////var x2: IList<IList<number>>;
////var x3: IList<number>;
////var y2 = x./*15*/method(x2, [x3, x3]);
verify.quickInfos({
1: "class Container<T>",
2: "(type parameter) T in IList<T>",
3: "(type parameter) T in IList<T>",
4: "(type parameter) T in List2<T extends IList<number>>",
5: "(type parameter) T in List2<T extends IList<number>>",
6: "(property) List2<T extends IList<number>>.__item: T[]",
7: "(method) List2<T extends IList<number>>.getItem(i: number): T",
8: "(method) List2<T extends IList<number>>.method<S extends IList<T>>(s: S, p: T[]): S",
9: "(type parameter) S in List2<T extends IList<number>>.method<S extends IList<T>>(s: S, p: T[]): S",
10: "(type parameter) T in List2<T extends IList<number>>",
11: "(type parameter) T in foo4<T extends Date>(test: T): T",
12: "(type parameter) S in foo4<S extends string>(test: S): S",
13: "(type parameter) T in foo4<T extends Date>(test: any): any",
14: "(method) List2<IList<number>>.getItem(i: number): IList<number>",
15: "(method) List2<IList<number>>.method<IList<IList<number>>>(s: IList<IList<number>>, p: IList<number>[]): IList<IList<number>>"
});
|
