|
| 1 | +tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts(71,1): error TS2322: Type 'new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type 'new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: number; }) => U) => (r: T) => U'. |
| 2 | + Types of parameters 'y' and 'y' are incompatible. |
| 3 | + Types of parameters 'arg2' and 'arg2' are incompatible. |
| 4 | + Type 'Base' is not assignable to type '{ foo: string; bing: number; }'. |
| 5 | + Property 'bing' is missing in type 'Base'. |
| 6 | + |
| 7 | + |
| 8 | +==== tests/cases/conformance/types/typeRelationships/assignmentCompatibility/assignmentCompatWithConstructSignatures3.ts (1 errors) ==== |
| 9 | + // checking assignment compatibility relations for function types. All of these are valid. |
| 10 | + |
| 11 | + class Base { foo: string; } |
| 12 | + class Derived extends Base { bar: string; } |
| 13 | + class Derived2 extends Derived { baz: string; } |
| 14 | + class OtherDerived extends Base { bing: string; } |
| 15 | + |
| 16 | + var a: new (x: number) => number[]; |
| 17 | + var a2: new (x: number) => string[]; |
| 18 | + var a3: new (x: number) => void; |
| 19 | + var a4: new (x: string, y: number) => string; |
| 20 | + var a5: new (x: (arg: string) => number) => string; |
| 21 | + var a6: new (x: (arg: Base) => Derived) => Base; |
| 22 | + var a7: new (x: (arg: Base) => Derived) => (r: Base) => Derived; |
| 23 | + var a8: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; |
| 24 | + var a9: new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived; |
| 25 | + var a10: new (...x: Derived[]) => Derived; |
| 26 | + var a11: new (x: { foo: string }, y: { foo: string; bar: string }) => Base; |
| 27 | + var a12: new (x: Array<Base>, y: Array<Derived2>) => Array<Derived>; |
| 28 | + var a13: new (x: Array<Base>, y: Array<Derived>) => Array<Derived>; |
| 29 | + var a14: new (x: { a: string; b: number }) => Object; |
| 30 | + var a15: { |
| 31 | + new (x: number): number[]; |
| 32 | + new (x: string): string[]; |
| 33 | + } |
| 34 | + var a16: { |
| 35 | + new <T extends Derived>(x: T): number[]; |
| 36 | + new <U extends Base>(x: U): number[]; |
| 37 | + } |
| 38 | + var a17: { |
| 39 | + new (x: new (a: number) => number): number[]; |
| 40 | + new (x: new (a: string) => string): string[]; |
| 41 | + }; |
| 42 | + var a18: { |
| 43 | + new (x: { |
| 44 | + new (a: number): number; |
| 45 | + new (a: string): string; |
| 46 | + }): any[]; |
| 47 | + new (x: { |
| 48 | + new (a: boolean): boolean; |
| 49 | + new (a: Date): Date; |
| 50 | + }): any[]; |
| 51 | + } |
| 52 | + |
| 53 | + var b: new <T>(x: T) => T[]; |
| 54 | + a = b; // ok |
| 55 | + b = a; // ok |
| 56 | + var b2: new <T>(x: T) => string[]; |
| 57 | + a2 = b2; // ok |
| 58 | + b2 = a2; // ok |
| 59 | + var b3: new <T>(x: T) => T; |
| 60 | + a3 = b3; // ok |
| 61 | + b3 = a3; // ok |
| 62 | + var b4: new <T, U>(x: T, y: U) => T; |
| 63 | + a4 = b4; // ok |
| 64 | + b4 = a4; // ok |
| 65 | + var b5: new <T, U>(x: (arg: T) => U) => T; |
| 66 | + a5 = b5; // ok |
| 67 | + b5 = a5; // ok |
| 68 | + var b6: new <T extends Base, U extends Derived>(x: (arg: T) => U) => T; |
| 69 | + a6 = b6; // ok |
| 70 | + b6 = a6; // ok |
| 71 | + var b7: new <T extends Base, U extends Derived>(x: (arg: T) => U) => (r: T) => U; |
| 72 | + a7 = b7; // ok |
| 73 | + b7 = a7; // ok |
| 74 | + var b8: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: T) => U) => (r: T) => U; |
| 75 | + a8 = b8; // ok |
| 76 | + b8 = a8; // ok |
| 77 | + var b9: new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: number }) => U) => (r: T) => U; |
| 78 | + a9 = b9; // ok |
| 79 | + b9 = a9; // ok |
| 80 | + ~~ |
| 81 | +!!! error TS2322: Type 'new (x: (arg: Base) => Derived, y: (arg2: Base) => Derived) => (r: Base) => Derived' is not assignable to type 'new <T extends Base, U extends Derived>(x: (arg: T) => U, y: (arg2: { foo: string; bing: number; }) => U) => (r: T) => U'. |
| 82 | +!!! error TS2322: Types of parameters 'y' and 'y' are incompatible. |
| 83 | +!!! error TS2322: Types of parameters 'arg2' and 'arg2' are incompatible. |
| 84 | +!!! error TS2322: Type 'Base' is not assignable to type '{ foo: string; bing: number; }'. |
| 85 | +!!! error TS2322: Property 'bing' is missing in type 'Base'. |
| 86 | + var b10: new <T extends Derived>(...x: T[]) => T; |
| 87 | + a10 = b10; // ok |
| 88 | + b10 = a10; // ok |
| 89 | + var b11: new <T extends Base>(x: T, y: T) => T; |
| 90 | + a11 = b11; // ok |
| 91 | + b11 = a11; // ok |
| 92 | + var b12: new <T extends Array<Base>>(x: Array<Base>, y: T) => Array<Derived>; |
| 93 | + a12 = b12; // ok |
| 94 | + b12 = a12; // ok |
| 95 | + var b13: new <T extends Array<Derived>>(x: Array<Base>, y: T) => T; |
| 96 | + a13 = b13; // ok |
| 97 | + b13 = a13; // ok |
| 98 | + var b14: new <T>(x: { a: T; b: T }) => T; |
| 99 | + a14 = b14; // ok |
| 100 | + b14 = a14; // ok |
| 101 | + var b15: new <T>(x: T) => T[]; |
| 102 | + a15 = b15; // ok |
| 103 | + b15 = a15; // ok |
| 104 | + var b16: new <T extends Base>(x: T) => number[]; |
| 105 | + a16 = b16; // ok |
| 106 | + b16 = a16; // ok |
| 107 | + var b17: new <T>(x: new (a: T) => T) => T[]; // ok |
| 108 | + a17 = b17; // ok |
| 109 | + b17 = a17; // ok |
| 110 | + var b18: new <T>(x: new (a: T) => T) => T[]; |
| 111 | + a18 = b18; // ok |
| 112 | + b18 = a18; // ok |
| 113 | + |
0 commit comments