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
|
=== tests/cases/conformance/types/typeParameters/typeArgumentLists/constraintSatisfactionWithAny2.ts ===
// errors expected for type parameter cannot be referenced in the constraints of the same list
// any is not a valid type argument unless there is no constraint, or the constraint is any
declare function foo<Z, T extends <U>(x: U) => Z>(y: T): Z;
>foo : <Z, T extends <U>(x: U) => Z>(y: T) => Z
>Z : Z
>T : T
>U : U
>x : U
>U : U
>Z : Z
>y : T
>T : T
>Z : Z
var a: any;
>a : any
foo(a);
>foo(a) : {}
>foo : <Z, T extends <U>(x: U) => Z>(y: T) => Z
>a : any
foo<any, any>(a);
>foo<any, any>(a) : any
>foo : <Z, T extends <U>(x: U) => Z>(y: T) => Z
>a : any
|