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
|
=== tests/cases/compiler/constraintsThatReferenceOtherContstraints1.ts ===
interface Object { }
>Object : Object
class Foo<T, U extends T> { }
>Foo : Foo<T, U>
>T : T
>U : U
>T : T
class Bar<T extends Object, U extends T> {
>Bar : Bar<T, U>
>T : T
>Object : Object
>U : U
>T : T
data: Foo<Object, Object>; // Error 1 Type 'Object' does not satisfy the constraint 'T' for type parameter 'U extends T'.
>data : Foo<Object, Object>
>Foo : Foo<T, U>
>Object : Object
>Object : Object
}
var x: Foo< { a: string }, { a: string; b: number }>; // Error 2 Type '{ a: string; b: number; }' does not satisfy the constraint 'T' for type
>x : Foo<{ a: string; }, { a: string; b: number; }>
>Foo : Foo<T, U>
>a : string
>a : string
>b : number
|
