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
|
=== tests/cases/compiler/genericUnboundedTypeParamAssignability.ts ===
function f1<T>(o: T) {
>f1 : <T>(o: T) => void
>o : T
o.toString(); // error
>o.toString() : any
>o.toString : any
>o : T
>toString : any
}
function f2<T extends {}>(o: T) {
>f2 : <T extends {}>(o: T) => void
>o : T
o.toString(); // no error
>o.toString() : string
>o.toString : () => string
>o : T
>toString : () => string
}
function f3<T extends Record<string, any>>(o: T) {
>f3 : <T extends Record<string, any>>(o: T) => void
>o : T
o.toString(); // no error
>o.toString() : string
>o.toString : () => string
>o : T
>toString : () => string
}
function user<T>(t: T) {
>user : <T>(t: T) => void
>t : T
f1(t);
>f1(t) : void
>f1 : <T>(o: T) => void
>t : T
f2(t); // error in strict, unbounded T doesn't satisfy the constraint
>f2(t) : void
>f2 : <T extends {}>(o: T) => void
>t : T
f3(t); // error in strict, unbounded T doesn't satisfy the constraint
>f3(t) : void
>f3 : <T extends Record<string, any>>(o: T) => void
>t : T
t.toString(); // error, for the same reason as f1()
>t.toString() : any
>t.toString : any
>t : T
>toString : any
}
|
