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/genericDefaultsErrors.ts ===
declare const x: any;
>x : any
declare function f03<T extends string = number>(): void; // error
>f03 : <T extends string = number>() => void
declare function f04<T extends string, U extends number = T>(): void; // error
>f04 : <T extends string, U extends number = T>() => void
declare function f05<T, U extends number = T>(): void; // error
>f05 : <T, U extends number = T>() => void
declare function f06<T, U extends T = number>(): void; // error
>f06 : <T, U extends T = number>() => void
declare function f11<T, U, V = number>(): void;
>f11 : <T, U, V = number>() => void
f11(); // ok
>f11() : void
>f11 : <T, U, V = number>() => void
f11<1>(); // error
>f11<1>() : void
>f11 : <T, U, V = number>() => void
f11<1, 2>(); // ok
>f11<1, 2>() : void
>f11 : <T, U, V = number>() => void
f11<1, 2, 3>(); // ok
>f11<1, 2, 3>() : void
>f11 : <T, U, V = number>() => void
f11<1, 2, 3, 4>(); // error
>f11<1, 2, 3, 4>() : void
>f11 : <T, U, V = number>() => void
declare function f12<T, U = T>(a?: U): void;
>f12 : <T, U = T>(a?: U) => void
>a : U
f12<number>(); // ok
>f12<number>() : void
>f12 : <T, U = T>(a?: U) => void
f12<number>("a"); // error
>f12<number>("a") : void
>f12 : <T, U = T>(a?: U) => void
>"a" : "a"
interface i00<T> { } // ok
interface i00<U = number> { } // error
interface i01<T = number> { } // ok
interface i01<T = string> { } // error
interface i04<T = number, U> { } // error
interface i05<T extends string = number> { } // error
interface i06<T extends string, U extends number = T> { } // error
interface i07<T, U extends number = T> { } // error
interface i08<T, U extends T = number> { } // error
interface i09<T, U, V = number> { }
type i09t00 = i09; // error
>i09t00 : any
type i09t01 = i09<1>; // error
>i09t01 : any
type i09t02 = i09<1, 2>; // ok
>i09t02 : i09<1, 2, number>
type i09t03 = i09<1, 2, 3>; // ok
>i09t03 : i09<1, 2, 3>
type i09t04 = i09<1, 2, 3, 4>; // error
>i09t04 : any
interface i10 { x: T; } // error
>x : T
interface i10<T = number> {}
// https://github.com/Microsoft/TypeScript/issues/16221
interface SelfReference<T = SelfReference> {}
|
