TS2377 not reported when 'super' is called conditionally

Bug Report

The TS2377 error is reported when the constructor of a derived class does not contain a call to 'super'. However, it is not reported when only some branches contain the call but not others.

🔎 Search Terms

TS2377 super class missing branch

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ for entries about Classes

⏯ Playground Link

Playground link with relevant code

💻 Code

class CustomError extends Error {
  constructor(value: string | number) {
    if (typeof value === 'string') {
      super(value)
    } else {
      // oops, no super() call!
    }
  }
}

🙁 Actual behavior

TypeScript does not report any errors for the above code.

🙂 Expected behavior

TypeScript should report TS2377 for the above code, since 'super' isn't called in every branch.

Comienza con el ejemplo enlazado de Playground y confirma el diagnóstico TS2377 que falta cuando no todas las ramas condicionales llaman a super. Sigue el tratamiento que hace el compilador de TypeScript de los constructores de clases derivadas y de las ramas de control de flujo, y añade cobertura que demuestre que se informa TS2377 a menos que todas las ramas llamen a super.