17 lines
589 B
TypeScript
17 lines
589 B
TypeScript
//// [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;
|
|
var a: any;
|
|
|
|
foo(a);
|
|
foo<any, any>(a);
|
|
|
|
//// [constraintSatisfactionWithAny2.js]
|
|
// 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
|
|
var a;
|
|
foo(a);
|
|
foo(a);
|