subtypingWithConstructSignatures2.ts(3,14): error TS2564: Property 'foo' has no initializer and is not definitely assigned in the constructor.
subtypingWithConstructSignatures2.ts(4,30): error TS2564: Property 'bar' has no initializer and is not definitely assigned in the constructor.
subtypingWithConstructSignatures2.ts(5,34): error TS2564: Property 'baz' has no initializer and is not definitely assigned in the constructor.
subtypingWithConstructSignatures2.ts(6,35): error TS2564: Property 'bing' has no initializer and is not definitely assigned in the constructor.
subtypingWithConstructSignatures2.ts(82,15): error TS2454: Variable 'r1arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(83,12): error TS2454: Variable 'r1arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(83,20): error TS2454: Variable 'r1arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(84,12): error TS2454: Variable 'r1arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(84,20): error TS2454: Variable 'r1arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(88,15): error TS2454: Variable 'r2arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(89,12): error TS2454: Variable 'r2arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(89,20): error TS2454: Variable 'r2arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(90,12): error TS2454: Variable 'r2arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(90,20): error TS2454: Variable 'r2arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(94,15): error TS2454: Variable 'r3arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(95,12): error TS2454: Variable 'r3arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(95,20): error TS2454: Variable 'r3arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(96,12): error TS2454: Variable 'r3arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(96,20): error TS2454: Variable 'r3arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(100,15): error TS2454: Variable 'r4arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(101,12): error TS2454: Variable 'r4arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(101,20): error TS2454: Variable 'r4arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(102,12): error TS2454: Variable 'r4arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(102,20): error TS2454: Variable 'r4arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(106,15): error TS2454: Variable 'r5arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(107,12): error TS2454: Variable 'r5arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(107,20): error TS2454: Variable 'r5arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(108,12): error TS2454: Variable 'r5arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(108,20): error TS2454: Variable 'r5arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(112,15): error TS2454: Variable 'r6arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(113,12): error TS2454: Variable 'r6arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(113,20): error TS2454: Variable 'r6arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(114,12): error TS2454: Variable 'r6arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(114,20): error TS2454: Variable 'r6arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(118,15): error TS2454: Variable 'r7arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(119,12): error TS2454: Variable 'r7arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(119,20): error TS2454: Variable 'r7arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(120,12): error TS2454: Variable 'r7arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(120,20): error TS2454: Variable 'r7arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(124,15): error TS2454: Variable 'r8arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(125,12): error TS2454: Variable 'r8arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(125,20): error TS2454: Variable 'r8arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(126,12): error TS2454: Variable 'r8arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(126,20): error TS2454: Variable 'r8arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(130,15): error TS2454: Variable 'r9arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(131,12): error TS2454: Variable 'r9arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(131,20): error TS2454: Variable 'r9arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(132,12): error TS2454: Variable 'r9arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(132,20): error TS2454: Variable 'r9arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(136,17): error TS2454: Variable 'r10arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(137,13): error TS2454: Variable 'r10arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(137,22): error TS2454: Variable 'r10arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(138,13): error TS2454: Variable 'r10arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(138,22): error TS2454: Variable 'r10arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(142,17): error TS2454: Variable 'r11arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(143,13): error TS2454: Variable 'r11arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(143,22): error TS2454: Variable 'r11arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(144,13): error TS2454: Variable 'r11arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(144,22): error TS2454: Variable 'r11arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(148,17): error TS2454: Variable 'r12arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(149,13): error TS2454: Variable 'r12arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(149,22): error TS2454: Variable 'r12arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(150,13): error TS2454: Variable 'r12arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(150,22): error TS2454: Variable 'r12arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(154,17): error TS2454: Variable 'r13arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(155,13): error TS2454: Variable 'r13arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(155,22): error TS2454: Variable 'r13arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(156,13): error TS2454: Variable 'r13arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(156,22): error TS2454: Variable 'r13arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(160,17): error TS2454: Variable 'r14arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(161,13): error TS2454: Variable 'r14arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(161,22): error TS2454: Variable 'r14arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(162,13): error TS2454: Variable 'r14arg2' is used before being assigned.
subtypingWithConstructSignatures2.ts(162,22): error TS2454: Variable 'r14arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(165,17): error TS2454: Variable 'r15arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(167,17): error TS2454: Variable 'r16arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(169,17): error TS2454: Variable 'r17arg1' is used before being assigned.
subtypingWithConstructSignatures2.ts(171,17): error TS2454: Variable 'r18arg1' is used before being assigned.


==== subtypingWithConstructSignatures2.ts (78 errors) ====
    // checking subtype relations for function types as it relates to contextual signature instantiation
    
    class Base { foo: string; }
                 ~~~
!!! error TS2564: Property 'foo' has no initializer and is not definitely assigned in the constructor.
    class Derived extends Base { bar: string; }
                                 ~~~
!!! error TS2564: Property 'bar' has no initializer and is not definitely assigned in the constructor.
    class Derived2 extends Derived { baz: string; }
                                     ~~~
!!! error TS2564: Property 'baz' has no initializer and is not definitely assigned in the constructor.
    class OtherDerived extends Base { bing: string; }
                                      ~~~~
!!! error TS2564: Property 'bing' has no initializer and is not definitely assigned in the constructor.
    
    declare function foo1(a: new (x: number) => number[]): typeof a;
    declare function foo1(a: any): any;
    
    declare function foo2(a: new (x: number) => string[]): typeof a;
    declare function foo2(a: any): any;
    
    declare function foo3(a: new (x: number) => void): typeof a;
    declare function foo3(a: any): any;
    
    declare function foo4(a: new (x: string, y: number) => string): typeof a;
    declare function foo4(a: any): any;
    
    declare function foo5(a: new (x: new (arg: string) => number) => string): typeof a;
    declare function foo5(a: any): any;
    
    declare function foo6(a: new (x: new (arg: Base) => Derived) => Base): typeof a;
    declare function foo6(a: any): any;
    
    declare function foo7(a: new (x: new (arg: Base) => Derived) => new (r: Base) => Derived): typeof a;
    declare function foo7(a: any): any;
    
    declare function foo8(a: new (x: new (arg: Base) => Derived, y: new (arg2: Base) => Derived) => new (r: Base) => Derived): typeof a;
    declare function foo8(a: any): any;
    
    declare function foo9(a: new (x: new (arg: Base) => Derived, y: new (arg2: Base) => Derived) => new (r: Base) => Derived): typeof a;
    declare function foo9(a: any): any;
    
    declare function foo10(a: new (...x: Derived[]) => Derived): typeof a;
    declare function foo10(a: any): any;
    
    declare function foo11(a: new (x: { foo: string }, y: { foo: string; bar: string }) => Base): typeof a;
    declare function foo11(a: any): any;
    
    declare function foo12(a: new (x: Array<Base>, y: Array<Derived2>) => Array<Derived>): typeof a;
    declare function foo12(a: any): any;
    
    declare function foo13(a: new (x: Array<Base>, y: Array<Derived>) => Array<Derived>): typeof a;
    declare function foo13(a: any): any;
    
    declare function foo14(a: new (x: { a: string; b: number }) => Object): typeof a;
    declare function foo14(a: any): any;
    
    declare function foo15(a: { 
        new (x: number): number[];
        new (x: string): string[]; 
    }): typeof a;
    declare function foo15(a: any): any;
    
    declare function foo16(a: {
        new <T extends Derived>(x: T): number[];
        new <U extends Base>(x: U): number[];
    }): typeof a;
    declare function foo16(a: any): any;
    
    declare function foo17(a: {
        new (x: (a: number) => number): number[];
        new (x: (a: string) => string): string[];
    }): typeof a;
    declare function foo17(a: any): any;
    
    declare function foo18(a: {
        new (x: {
            new (a: number): number;
            new (a: string): string;
        }): any[];
        new (x: {
            new (a: boolean): boolean;
            new (a: Date): Date;
        }): any[];
    }): typeof a;
    declare function foo18(a: any): any;
    
    var r1arg1: new <T>(x: T) => T[];
    var r1arg2: new (x: number) => number[];
    var r1 = foo1(r1arg1); // any, return types are not subtype of first overload
                  ~~~~~~
!!! error TS2454: Variable 'r1arg1' is used before being assigned.
    var r1a = [r1arg2, r1arg1]; // generic signature, subtype in both directions
               ~~~~~~
!!! error TS2454: Variable 'r1arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r1arg1' is used before being assigned.
    var r1b = [r1arg1, r1arg2]; // generic signature, subtype in both directions
               ~~~~~~
!!! error TS2454: Variable 'r1arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r1arg2' is used before being assigned.
    
    var r2arg1: new <T>(x: T) => string[];
    var r2arg2: new (x: number) => string[];
    var r2 = foo2(r2arg1);
                  ~~~~~~
!!! error TS2454: Variable 'r2arg1' is used before being assigned.
    var r2a = [r2arg1, r2arg2];
               ~~~~~~
!!! error TS2454: Variable 'r2arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r2arg2' is used before being assigned.
    var r2b = [r2arg2, r2arg1];
               ~~~~~~
!!! error TS2454: Variable 'r2arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r2arg1' is used before being assigned.
    
    var r3arg1: new <T>(x: T) => T;
    var r3arg2: new (x: number) => void;
    var r3 = foo3(r3arg1);
                  ~~~~~~
!!! error TS2454: Variable 'r3arg1' is used before being assigned.
    var r3a = [r3arg1, r3arg2];
               ~~~~~~
!!! error TS2454: Variable 'r3arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r3arg2' is used before being assigned.
    var r3b = [r3arg2, r3arg1];
               ~~~~~~
!!! error TS2454: Variable 'r3arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r3arg1' is used before being assigned.
    
    var r4arg1: new <T, U>(x: T, y: U) => T;
    var r4arg2: new (x: string, y: number) => string;
    var r4 = foo4(r4arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r4arg1' is used before being assigned.
    var r4a = [r4arg1, r4arg2];
               ~~~~~~
!!! error TS2454: Variable 'r4arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r4arg2' is used before being assigned.
    var r4b = [r4arg2, r4arg1];
               ~~~~~~
!!! error TS2454: Variable 'r4arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r4arg1' is used before being assigned.
    
    var r5arg1: new <T, U>(x: new (arg: T) => U) => T;
    var r5arg2: new (x: new (arg: string) => number) => string;
    var r5 = foo5(r5arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r5arg1' is used before being assigned.
    var r5a = [r5arg1, r5arg2];
               ~~~~~~
!!! error TS2454: Variable 'r5arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r5arg2' is used before being assigned.
    var r5b = [r5arg2, r5arg1];
               ~~~~~~
!!! error TS2454: Variable 'r5arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r5arg1' is used before being assigned.
    
    var r6arg1: new <T extends Base, U extends Derived>(x: new (arg: T) => U) => T;
    var r6arg2: new (x: new (arg: Base) => Derived) => Base;
    var r6 = foo6(r6arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r6arg1' is used before being assigned.
    var r6a = [r6arg1, r6arg2];
               ~~~~~~
!!! error TS2454: Variable 'r6arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r6arg2' is used before being assigned.
    var r6b = [r6arg2, r6arg1];
               ~~~~~~
!!! error TS2454: Variable 'r6arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r6arg1' is used before being assigned.
    
    var r7arg1: new <T extends Base, U extends Derived>(x: new (arg: T) => U) => new (r: T) => U;
    var r7arg2: new (x: new (arg: Base) => Derived) => new (r: Base) => Derived;
    var r7 = foo7(r7arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r7arg1' is used before being assigned.
    var r7a = [r7arg1, r7arg2];
               ~~~~~~
!!! error TS2454: Variable 'r7arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r7arg2' is used before being assigned.
    var r7b = [r7arg2, r7arg1];
               ~~~~~~
!!! error TS2454: Variable 'r7arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r7arg1' is used before being assigned.
    
    var r8arg1: new <T extends Base, U extends Derived>(x: new (arg: T) => U, y: new (arg2: T) => U) => new (r: T) => U;
    var r8arg2: new (x: new (arg: Base) => Derived, y: new (arg2: Base) => Derived) => new (r: Base) => Derived;
    var r8 = foo8(r8arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r8arg1' is used before being assigned.
    var r8a = [r8arg1, r8arg2];
               ~~~~~~
!!! error TS2454: Variable 'r8arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r8arg2' is used before being assigned.
    var r8b = [r8arg2, r8arg1];
               ~~~~~~
!!! error TS2454: Variable 'r8arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r8arg1' is used before being assigned.
    
    var r9arg1: new <T extends Base, U extends Derived>(x: new (arg: T) => U, y: (arg2: { foo: string; bing: number }) => U) => new (r: T) => U;
    var r9arg2: new (x: new (arg: Base) => Derived, y: new (arg2: Base) => Derived) => new (r: Base) => Derived;
    var r9 = foo9(r9arg1); // any
                  ~~~~~~
!!! error TS2454: Variable 'r9arg1' is used before being assigned.
    var r9a = [r9arg1, r9arg2];
               ~~~~~~
!!! error TS2454: Variable 'r9arg1' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r9arg2' is used before being assigned.
    var r9b = [r9arg2, r9arg1];
               ~~~~~~
!!! error TS2454: Variable 'r9arg2' is used before being assigned.
                       ~~~~~~
!!! error TS2454: Variable 'r9arg1' is used before being assigned.
    
    var r10arg1: new <T extends Derived>(...x: T[]) => T;
    var r10arg2: new (...x: Derived[]) => Derived;
    var r10 = foo10(r10arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r10arg1' is used before being assigned.
    var r10a = [r10arg1, r10arg2];
                ~~~~~~~
!!! error TS2454: Variable 'r10arg1' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r10arg2' is used before being assigned.
    var r10b = [r10arg2, r10arg1];
                ~~~~~~~
!!! error TS2454: Variable 'r10arg2' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r10arg1' is used before being assigned.
    
    var r11arg1: new <T extends Base>(x: T, y: T) => T;
    var r11arg2: new (x: { foo: string }, y: { foo: string; bar: string }) => Base;
    var r11 = foo11(r11arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r11arg1' is used before being assigned.
    var r11a = [r11arg1, r11arg2];
                ~~~~~~~
!!! error TS2454: Variable 'r11arg1' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r11arg2' is used before being assigned.
    var r11b = [r11arg2, r11arg1];
                ~~~~~~~
!!! error TS2454: Variable 'r11arg2' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r11arg1' is used before being assigned.
    
    var r12arg1: new <T extends Array<Base>>(x: Array<Base>, y: T) => Array<Derived>;
    var r12arg2: new (x: Array<Base>, y: Array<Derived2>) => Array<Derived>;
    var r12 = foo12(r12arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r12arg1' is used before being assigned.
    var r12a = [r12arg1, r12arg2];
                ~~~~~~~
!!! error TS2454: Variable 'r12arg1' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r12arg2' is used before being assigned.
    var r12b = [r12arg2, r12arg1];
                ~~~~~~~
!!! error TS2454: Variable 'r12arg2' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r12arg1' is used before being assigned.
    
    var r13arg1: new <T extends Array<Derived>>(x: Array<Base>, y: T) => T;
    var r13arg2: new (x: Array<Base>, y: Array<Derived>) => Array<Derived>;
    var r13 = foo13(r13arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r13arg1' is used before being assigned.
    var r13a = [r13arg1, r13arg2];
                ~~~~~~~
!!! error TS2454: Variable 'r13arg1' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r13arg2' is used before being assigned.
    var r13b = [r13arg2, r13arg1];
                ~~~~~~~
!!! error TS2454: Variable 'r13arg2' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r13arg1' is used before being assigned.
    
    var r14arg1: new <T>(x: { a: T; b: T }) => T;
    var r14arg2: new (x: { a: string; b: number }) => Object;
    var r14 = foo14(r14arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r14arg1' is used before being assigned.
    var r14a = [r14arg1, r14arg2];
                ~~~~~~~
!!! error TS2454: Variable 'r14arg1' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r14arg2' is used before being assigned.
    var r14b = [r14arg2, r14arg1];
                ~~~~~~~
!!! error TS2454: Variable 'r14arg2' is used before being assigned.
                         ~~~~~~~
!!! error TS2454: Variable 'r14arg1' is used before being assigned.
    
    var r15arg1: new <T>(x: T) => T[];
    var r15 = foo15(r15arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r15arg1' is used before being assigned.
    var r16arg1: new <T extends Base>(x: T) => number[];
    var r16 = foo16(r16arg1);
                    ~~~~~~~
!!! error TS2454: Variable 'r16arg1' is used before being assigned.
    var r17arg1: new <T>(x: (a: T) => T) => T[];
    var r17 = foo17(r17arg1); // any
                    ~~~~~~~
!!! error TS2454: Variable 'r17arg1' is used before being assigned.
    var r18arg1: new <T>(x: (a: T) => T) => T[];
    var r18 = foo18(r18arg1); 
                    ~~~~~~~
!!! error TS2454: Variable 'r18arg1' is used before being assigned.
    