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
|
=== tests/cases/compiler/constraintCheckInGenericBaseTypeReference.ts ===
// No errors
class Constraint {
>Constraint : Constraint
public method() { }
>method : () => void
}
class GenericBase<T extends Constraint> {
>GenericBase : GenericBase<T>
public items: any;
>items : any
}
class Derived extends GenericBase<TypeArg> {
>Derived : Derived
>GenericBase : GenericBase<TypeArg>
}
class TypeArg {
>TypeArg : TypeArg
public method() {
>method : () => void
Container.People.items;
>Container.People.items : any
>Container.People : Derived
>Container : typeof Container
>People : Derived
>items : any
}
}
class Container {
>Container : Container
public static People: Derived
>People : Derived
}
|
