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.

Start with the linked Playground example and confirm the missing TS2377 diagnostic when the conditional branches do not all call super. Trace the TypeScript compiler's handling of derived-class constructors and control-flow branches, then add coverage showing that TS2377 is reported unless every branch calls super.