es6 classes should copy parent class constructor signature

Description

class Parent {
  /** @param {string} value */
  constructor(value) {}
}

class Child1 extends Parent {}
class Child2 extends Parent {
  /** @override */
  constructor(...args) {
    super(...args);
  }
}
class Child3 extends Parent {
  /** @param {string} value */
  constructor(value) {
    super(value);
  }
}

new Parent(1); // OK
new Child1(1); // NO WARNING
new Child2(2); // NO WARNING
new Child3(2); // OK

Guide contributeur

Stack technique

javascript

Domaine

tooling

Type d'issue

feature

DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.

4

Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.

3-5 days

Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.

stale

ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.

clear

Prérequis

JavaScript inheritanceClosure Compiler internalsJava programming

Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.

30

Direction de recherche

Investigate how closure compiler infers constructor signatures for classes. Look at the relevant files in the type system (e.g., TypeCheck.java or JSType.java). Determine why Child1 and Child2 do not produce warnings. Consider extending the type inference to copy the parent's constructor signature when the child does not override it.