tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(25,35): error TS2345: Argument of type 'number' is not assignable to parameter of type 'string'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(61,39): error TS2345: Argument of type '(x: string) => string' is not assignable to parameter of type '(x: number) => void'.
  Types of parameters 'x' and 'x' are incompatible.
    Type 'number' is not assignable to type 'string'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(71,39): error TS2345: Argument of type '(x: string) => string' is not assignable to parameter of type '(x: number) => void'.
  Types of parameters 'x' and 'x' are incompatible.
    Type 'number' is not assignable to type 'string'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(81,45): error TS2345: Argument of type '(n: string) => string' is not assignable to parameter of type '(b: number) => number'.
  Types of parameters 'n' and 'b' are incompatible.
    Type 'number' is not assignable to type 'string'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(106,33): error TS2345: Argument of type '0' is not assignable to parameter of type '""'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(107,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9a' must be of type 'string', but here has type '{}'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(121,5): error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9e' must be of type '{ x: number; z: Window & typeof globalThis; y?: undefined; } | { x: number; y: string; z?: undefined; }', but here has type '{}'.
tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts(122,74): error TS2345: Argument of type '{ x: number; y: string; }' is not assignable to parameter of type 'A92'.
  Object literal may only specify known properties, and 'y' does not exist in type 'A92'.


==== tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts (8 errors) ====
    // Generic call with no parameters
    interface NoParams {
        new <T>();
    }
    var noParams: NoParams;
    new noParams();
    new noParams<string>();
    new noParams<{}>();
    
    // Generic call with parameters but none use type parameter type
    interface noGenericParams {
        new <T>(n: string);
    }
    var noGenericParams: noGenericParams;
    new noGenericParams('');
    new noGenericParams<number>('');
    new noGenericParams<{}>('');
    
    // Generic call with multiple type parameters and only one used in parameter type annotation
    interface someGenerics1 {
        new <T, U>(n: T, m: number);
    }
    var someGenerics1: someGenerics1;
    new someGenerics1(3, 4);
    new someGenerics1<string, number>(3, 4); // Error
                                      ~
!!! error TS2345: Argument of type 'number' is not assignable to parameter of type 'string'.
    new someGenerics1<number, {}>(3, 4);
    
    // Generic call with argument of function type whose parameter is of type parameter type
    interface someGenerics2a {
        new <T>(n: (x: T) => void);
    }
    var someGenerics2a: someGenerics2a;
    new someGenerics2a((n: string) => n);
    new someGenerics2a<string>((n: string) => n);
    new someGenerics2a<string>((n) => n.substr(0));
    
    interface someGenerics2b {
        new <T, U>(n: (x: T, y: U) => void);
    }
    var someGenerics2b: someGenerics2b;
    new someGenerics2b((n: string, x: number) => n);
    new someGenerics2b<string, number>((n: string, t: number) => n);
    new someGenerics2b<string, number>((n, t) => n.substr(t * t));
    
    // Generic call with argument of function type whose parameter is not of type parameter type but body/return type uses type parameter
    interface someGenerics3 {
        new <T>(producer: () => T);
    }
    var someGenerics3: someGenerics3;
    new someGenerics3(() => '');
    new someGenerics3<Window>(() => undefined);
    new someGenerics3<number>(() => 3);
    
    // 2 parameter generic call with argument 1 of type parameter type and argument 2 of function type whose parameter is of type parameter type
    interface someGenerics4 {
        new <T, U>(n: T, f: (x: U) => void);
    }
    var someGenerics4: someGenerics4;
    new someGenerics4(4, () => null);
    new someGenerics4<string, number>('', () => 3);
    new someGenerics4<string, number>('', (x: string) => ''); // Error
                                          ~~~~~~~~~~~~~~~~~
!!! error TS2345: Argument of type '(x: string) => string' is not assignable to parameter of type '(x: number) => void'.
!!! error TS2345:   Types of parameters 'x' and 'x' are incompatible.
!!! error TS2345:     Type 'number' is not assignable to type 'string'.
    new someGenerics4<string, number>(null, null);
    
    // 2 parameter generic call with argument 2 of type parameter type and argument 1 of function type whose parameter is of type parameter type
    interface someGenerics5 {
        new <U, T>(n: T, f: (x: U) => void);
    }
    var someGenerics5: someGenerics5;
    new someGenerics5(4, () => null);
    new someGenerics5<number, string>('', () => 3);
    new someGenerics5<number, string>('', (x: string) => ''); // Error
                                          ~~~~~~~~~~~~~~~~~
!!! error TS2345: Argument of type '(x: string) => string' is not assignable to parameter of type '(x: number) => void'.
!!! error TS2345:   Types of parameters 'x' and 'x' are incompatible.
!!! error TS2345:     Type 'number' is not assignable to type 'string'.
    new someGenerics5<string, number>(null, null);
    
    // Generic call with multiple arguments of function types that each have parameters of the same generic type
    interface someGenerics6 {
        new <A>(a: (a: A) => A, b: (b: A) => A, c: (c: A) => A);
    }
    var someGenerics6: someGenerics6;
    new someGenerics6(n => n, n => n, n => n);
    new someGenerics6<number>(n => n, n => n, n => n);
    new someGenerics6<number>((n: number) => n, (n: string) => n, (n: number) => n); // Error
                                                ~~~~~~~~~~~~~~~~
!!! error TS2345: Argument of type '(n: string) => string' is not assignable to parameter of type '(b: number) => number'.
!!! error TS2345:   Types of parameters 'n' and 'b' are incompatible.
!!! error TS2345:     Type 'number' is not assignable to type 'string'.
    new someGenerics6<number>((n: number) => n, (n: number) => n, (n: number) => n);
    
    // Generic call with multiple arguments of function types that each have parameters of different generic type
    interface someGenerics7 {
        new <A, B, C>(a: (a: A) => A, b: (b: B) => B, c: (c: C) => C);
    }
    var someGenerics7: someGenerics7;
    new someGenerics7(n => n, n => n, n => n);
    new someGenerics7<number, string, number>(n => n, n => n, n => n);
    new someGenerics7<number, string, number>((n: number) => n, (n: string) => n, (n: number) => n);
    
    // Generic call with argument of generic function type
    interface someGenerics8 {
        new <T>(n: T): T;
    }
    var someGenerics8: someGenerics8;
    var x = new someGenerics8(someGenerics7);
    new x<string, string, string>(null, null, null);
    
    // Generic call with multiple parameters of generic type passed arguments with no best common type
    interface someGenerics9 {
        new <T>(a: T, b: T, c: T): T;
    }
    var someGenerics9: someGenerics9;
    var a9a = new someGenerics9('', 0, []);
                                    ~
!!! error TS2345: Argument of type '0' is not assignable to parameter of type '""'.
    var a9a: {};
        ~~~
!!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9a' must be of type 'string', but here has type '{}'.
!!! related TS6203 tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts:106:5: 'a9a' was also declared here.
    var a9b = new someGenerics9<{ a?: number; b?: string; }>({ a: 0 }, { b: '' }, null);
    var a9b: { a?: number; b?: string; };
    
    // Generic call with multiple parameters of generic type passed arguments with multiple best common types
    interface A91 {
        x: number;
        y?: string;
    }
    interface A92 {
        x: number;
        z?: Window;
    }
    var a9e = new someGenerics9(undefined, { x: 6, z: window }, { x: 6, y: '' });
    var a9e: {};
        ~~~
!!! error TS2403: Subsequent variable declarations must have the same type.  Variable 'a9e' must be of type '{ x: number; z: Window & typeof globalThis; y?: undefined; } | { x: number; y: string; z?: undefined; }', but here has type '{}'.
!!! related TS6203 tests/cases/conformance/expressions/functionCalls/typeArgumentInferenceConstructSignatures.ts:120:5: 'a9e' was also declared here.
    var a9f = new someGenerics9<A92>(undefined, { x: 6, z: window }, { x: 6, y: '' });
                                                                             ~~~~~
!!! error TS2345: Argument of type '{ x: number; y: string; }' is not assignable to parameter of type 'A92'.
!!! error TS2345:   Object literal may only specify known properties, and 'y' does not exist in type 'A92'.
    var a9f: A92;
    
    // Generic call with multiple parameters of generic type passed arguments with a single best common type
    var a9d = new someGenerics9({ x: 3 }, { x: 6 }, { x: 6 });
    var a9d: { x: number; };
    
    // Generic call with multiple parameters of generic type where one argument is of type 'any'
    var anyVar: any;
    var a = new someGenerics9(7, anyVar, 4);
    var a: any;
    
    // Generic call with multiple parameters of generic type where one argument is [] and the other is not 'any'
    var arr = new someGenerics9([], null, undefined);
    var arr: any[];
    
    