Update InstanceType as well

Author: Andarist

src/lib/es5.d.ts

@@ -1618,7 +1618,7 @@ type ReturnType<T extends (...args: never) => any> = T extends (...args: never)
 /**
  * Obtain the return type of a constructor function type
  */
-type InstanceType<T extends abstract new (...args: any) => any> = T extends abstract new (...args: any) => infer R ? R : any;
+type InstanceType<T extends abstract new (...args: never) => any> = T extends abstract new (...args: never) => infer R ? R : any;
 
 /**
  * Convert string literal type to uppercase

tests/baselines/reference/inferTypes1.errors.txt

@@ -1,9 +1,9 @@
 inferTypes1.ts(36,23): error TS2344: Type 'string' does not satisfy the constraint '(...args: never) => any'.
 inferTypes1.ts(37,23): error TS2344: Type 'Function' does not satisfy the constraint '(...args: never) => any'.
   Type 'Function' provides no match for the signature '(...args: never): any'.
-inferTypes1.ts(43,25): error TS2344: Type 'string' does not satisfy the constraint 'abstract new (...args: any) => any'.
-inferTypes1.ts(44,25): error TS2344: Type 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'.
-  Type 'Function' provides no match for the signature 'new (...args: any): any'.
+inferTypes1.ts(43,25): error TS2344: Type 'string' does not satisfy the constraint 'abstract new (...args: never) => any'.
+inferTypes1.ts(44,25): error TS2344: Type 'Function' does not satisfy the constraint 'abstract new (...args: never) => any'.
+  Type 'Function' provides no match for the signature 'new (...args: never): any'.
 inferTypes1.ts(55,25): error TS2344: Type '(x: string, y: string) => number' does not satisfy the constraint '(x: any) => any'.
   Target signature provides too few arguments. Expected 2 or more, but got 1.
 inferTypes1.ts(56,25): error TS2344: Type 'Function' does not satisfy the constraint '(x: any) => any'.
@@ -71,11 +71,11 @@ inferTypes1.ts(153,40): error TS2322: Type 'T' is not assignable to type 'string
     type U12 = InstanceType<never>;  // never
     type U13 = InstanceType<string>;  // Error
                             ~~~~~~
-!!! error TS2344: Type 'string' does not satisfy the constraint 'abstract new (...args: any) => any'.
+!!! error TS2344: Type 'string' does not satisfy the constraint 'abstract new (...args: never) => any'.
     type U14 = InstanceType<Function>;  // Error
                             ~~~~~~~~
-!!! error TS2344: Type 'Function' does not satisfy the constraint 'abstract new (...args: any) => any'.
-!!! error TS2344:   Type 'Function' provides no match for the signature 'new (...args: any): any'.
+!!! error TS2344: Type 'Function' does not satisfy the constraint 'abstract new (...args: never) => any'.
+!!! error TS2344:   Type 'Function' provides no match for the signature 'new (...args: never): any'.
     type U15 = InstanceType<typeof Abstract>;  // Abstract
     type U16<T extends any[]> = InstanceType<new (x: string, ...args: T) => T[]>;  // T[]
     type U17<T extends any[]> = InstanceType<abstract new (x: string, ...args: T) => T[]>;  // T[]

tests/baselines/reference/inferTypesBuiltinHelpers.types

@@ -8,6 +8,6 @@ type _1 = ReturnType<(...args: never) => 'foo'>
 >args : never
 
 type _2 = InstanceType<new (...args: never) => 'foo'>
->_2 : any
+>_2 : "foo"
 >args : never