File: genericInheritedDefaultConstructors.types

package info (click to toggle)
node-typescript 5.0.4%2Bds1-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 459,140 kB
  • sloc: javascript: 1,972,754; makefile: 6; sh: 1
file content (23 lines) | stat: -rw-r--r-- 421 bytes parent folder | download | duplicates (5) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
 
=== tests/cases/compiler/genericInheritedDefaultConstructors.ts ===
// repro from #8166
interface Constructor<T> {
    new(...args: any[]): T;
>args : any[]

    prototype: T;
>prototype : T
}

class A<U> { a: U; }
>A : A<U>
>a : U

class B<V> extends A<V> { b: V; }
>B : B<V>
>A : A<V>
>b : V

var c:Constructor<B<boolean>> = B; // shouldn't error here
>c : Constructor<B<boolean>>
>B : typeof B