Function should be assignable to (...args: any[]) => any

Obviously all functions have type Function. And likewise all functions can be given the type

type AnyFunc = (...args: any[]) => any;

AFAIK, there is nothing one can do with something of type Function that cannot be done with something of type AnyFunc and vice versa. However they are not equivalently assignable:

(f: AnyFunc): Function => f;
(f: Function): AnyFunc => f;
//                        ^
// Type 'Function' is not assignable to type 'AnyFunc'.
//   Type 'Function' provides no match for the signature '(...args: any[]): any'.

If I edit lib.d.ts to add a callable signature to Function:

interface Function {
  (...argArray: any[]): any;
  //...
}

it seems to "fix" this issue; is there any reason not to make this change for real?

Comienza revisando la declaración de Function en lib.d.ts y el comportamiento de asignabilidad mostrado en el issue. Investiga las pruebas existentes para Function y las firmas invocables, y evalúa después si añadir la firma conserva el comportamiento esperado del sistema de tipos. Se considera terminado cuando la asignabilidad propuesta está cubierta para los casos demostrados y se han resuelto todas las preocupaciones de compatibilidad.