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
|
//// [tests/cases/compiler/primitiveConstraints1.ts] ////
=== primitiveConstraints1.ts ===
function foo1<T extends U, U>(t: T, u: U) { }
>foo1 : <T extends U, U>(t: T, u: U) => void
>t : T
>u : U
foo1<string, number>('hm', 1); // no error
>foo1<string, number>('hm', 1) : void
>foo1 : <T extends U, U>(t: T, u: U) => void
>'hm' : "hm"
>1 : 1
function foo2<T, U extends T>(t: T, u: U) { }
>foo2 : <T, U extends T>(t: T, u: U) => void
>t : T
>u : U
foo2<number, string>(1, 'hm'); // error
>foo2<number, string>(1, 'hm') : void
>foo2 : <T, U extends T>(t: T, u: U) => void
>1 : 1
>'hm' : "hm"
|
