Infer type arguments from 'super()' calls

interface Component {
  whatever: number;
}

type ComponentConstructor = new <T = {}>(extra: T) => Component & T;
declare const Component: ComponentConstructor;

class ReallyOldComponent extends Component {
  constructor() {
    super({ name: "Methuselah", age: 969 });
  }
  blah() {
    this.whatever;
    this.age;
  }
}

Ideally this would produce no errors; in fact, ideally I wouldn't need to specify any type parameter defaults on ComponentConstructor's signature. However, instead, T is inferred as {} and in blah it is an error to access this.age.

Comienza con el tratamiento que hace el compilador de TypeScript de la construcción de clases genéricas y las llamadas a super(), usando la reproducción proporcionada como referencia. El trabajo estará terminado cuando el ejemplo no produzca errores, el tipo inferido incluya age en this y no sea necesario ningún parámetro de tipo predeterminado.