Enforce definite initialization of `static` members

Is there some clever reason why TSC can't check this (maybe... related to semantics of JS inheritance?)?

TypeScript Version: 3.2.0-dev.20181011

Search Terms: strictPropertyInitialization, static, initialized, uninitialized, assigned, property

Code

class A {
  static s: number
  a() {
    A.s * 3 // Should be a compile error
  }
}
A.s * 7 // Should be an compile error

Expected behavior: Both lines should produce compile errors.

Actual behavior: Both lines result in runtime exceptions.

Playground Link

Related Issues:

• https://github.com/Microsoft/TypeScript/issues/21976

Nell'issue non sono indicati né un file sorgente né un test. Riproduci il comportamento di TypeScript 3.2 usando il link a Playground fornito e l'esempio di classe, quindi esamina come il compilatore gestisce strictPropertyInitialization e i membri statici. Il lavoro è completato quando entrambe le letture del membro statico non inizializzato producono errori di compilazione senza compromettere l'ereditarietà valida o la semantica di inizializzazione.