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
79
80
81
82
83
84
85
86
87
|
=== tests/cases/compiler/typeParameterExplicitlyExtendsAny.ts ===
function fee<T>() {
>fee : <T>() => void
var t: T;
>t : T
t.blah; // Error
>t.blah : any
>t : T
>blah : any
t.toString; // ok
>t.toString : () => string
>t : T
>toString : () => string
}
function fee2<T extends any>() {
>fee2 : <T extends unknown>() => void
var t: T;
>t : T
t.blah; // ok
>t.blah : any
>t : T
>blah : any
t.toString; // ok
>t.toString : () => string
>t : T
>toString : () => string
}
function f<T extends any>(x: T) {
>f : <T extends unknown>(x: T) => void
>x : T
x.children;
>x.children : any
>x : T
>children : any
x();
>x() : any
>x : T
new x();
>new x() : any
>x : T
x[100];
>x[100] : any
>x : T
>100 : 100
x['hello'];
>x['hello'] : any
>x : T
>'hello' : "hello"
}
// Generic Tree structure
type Tree<T> = T & {
>Tree : Tree<T>
children?: Tree<T>[];
>children : Tree<T>[]
}
class MyClass {
>MyClass : MyClass
public static displayTree1<T extends Tree<any>>(tree: T) {
>displayTree1 : <T extends unknown>(tree: T) => void
>tree : T
// error "Property 'children' does not exist on type 'T'"
tree.children;
>tree.children : any
>tree : T
>children : any
}
}
|
