let callback1: null | (() => void) = () => {}; let callback2: null | (() => void) = null; let callback3: null | (() => void) = null; if (callback1 != null) callback1(); // callable callback2 = () => {} if (callback2 != null) callback2(); // callable new Promise<void>(() => callback3 = () => {}); if (callback3 != null) callback3(); // not callable // ^^^ // This expression is not callable. // Type 'never' has no call signatures.Parece que TypeScript está haciendo un análisis estático, pero de forma incorrecta, ya que el código funciona bien en JS:
let callback3 = null; new Promise(() => callback3 = () => { console.log("It Works"); }); if (callback3 != null) callback3(); // output: It WorksDado que inicia callback3 con un null literal y no lo modifica, TS infiere su tipo como null .
con if (callback3 != null) lo está reduciendo para que never se produzca el error.
Esto no sucede en este tipo de caso:
declare const maybeCallback: null | (() => void); callback3 = maybeCallback; if(callback3 !== null) { // () => void not never }