File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 55//// type NestedCtor<AA> = new() => AA & (new () => AA & { constructor: NestedCtor<A/*3*/A> });
66//// type Method<AA> = { method(): A/*4*/A };
77//// type Construct<AA> = { new(): A/*5*/A };
8- //// type Call<AA> = { (): A/*6*/A };
9- //// type Index<AA> = {[foo: string]: A/*7*/A};
10- //// type GenericMethod<AA> = { method<BB>(): A/*8*/A & B/*9*/B }
8+
119
1210goTo . marker ( '1' ) ;
1311verify . quickInfoIs ( '(type parameter) AA in type Ctor<AA>' ) ;
@@ -18,12 +16,4 @@ verify.quickInfoIs('(type parameter) AA in type NestedCtor<AA>');
1816goTo . marker ( '4' ) ;
1917verify . quickInfoIs ( '(type parameter) AA in type Method<AA>' ) ;
2018goTo . marker ( '5' ) ;
21- verify . quickInfoIs ( '(type parameter) AA in type Construct<AA>' ) ;
22- goTo . marker ( '6' ) ;
23- verify . quickInfoIs ( '(type parameter) AA in type Call<AA>' ) ;
24- goTo . marker ( '7' ) ;
25- verify . quickInfoIs ( '(type parameter) AA in type Index<AA>' ) ;
26- goTo . marker ( '8' ) ;
27- verify . quickInfoIs ( '(type parameter) AA in type GenericMethod<AA>' ) ;
28- goTo . marker ( '9' ) ;
29- verify . quickInfoIs ( '(type parameter) BB in method<BB>(): AA & BB' ) ;
19+ verify . quickInfoIs ( '(type parameter) AA in type Construct<AA>' ) ;
Original file line number Diff line number Diff line change 1+ /// <reference path="fourslash.ts" />
2+
3+ //// type Call<AA> = { (): A/*1*/A };
4+ //// type Index<AA> = {[foo: string]: A/*2*/A};
5+ //// type GenericMethod<AA> = { method<BB>(): A/*3*/A & B/*4*/B }
6+ //// type Nesting<TT> = { method<UU>(): new <WW>() => T/*5*/T & U/*6*/U & W/*7*/W };
7+
8+ type Nesting < TT > = { method < UU > ( ) : new < WW > ( ) => TT & UU & WW }
9+
10+ goTo . marker ( '1' ) ;
11+ verify . quickInfoIs ( '(type parameter) AA in type Call<AA>' ) ;
12+ goTo . marker ( '2' ) ;
13+ verify . quickInfoIs ( '(type parameter) AA in type Index<AA>' ) ;
14+ goTo . marker ( '3' ) ;
15+ verify . quickInfoIs ( '(type parameter) AA in type GenericMethod<AA>' ) ;
16+ goTo . marker ( '4' ) ;
17+ verify . quickInfoIs ( '(type parameter) BB in method<BB>(): AA & BB' ) ;
18+ goTo . marker ( '5' ) ;
19+ verify . quickInfoIs ( '(type parameter) TT in type Nesting<TT>' ) ;
20+ goTo . marker ( '6' ) ;
21+ verify . quickInfoIs ( '(type parameter) UU in method<UU>(): new <WW>() => TT & UU & WW' ) ;
22+ goTo . marker ( '7' ) ;
23+ verify . quickInfoIs ( '(type parameter) WW in <WW>(): TT & UU & WW' ) ;
24+
You can’t perform that action at this time.
0 commit comments