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.

Inizia esaminando la gestione da parte del compilatore TypeScript della costruzione di classi generiche e delle chiamate a super(), usando la riproduzione fornita come riferimento. Il lavoro è completato quando l'esempio non produce errori, il tipo inferito include age su this e non è richiesto alcun parametro di tipo predefinito.