typescript - タイプスクリプトに安全でない破壊シナリオを決定させる方法は?

Question

以下のコード例では、 を分解しようとするため、分解エラーが発生しますundefined。この種の安全でないデストラクチャ コードに対して typescript が正常にコンパイルされないようにするにはどうすればよいでしょうか?

interface IOptionalObjectProperties {
  prop?: {
    nested?: {
      val?: string;
    };
  };
}

const object: IOptionalObjectProperties = {};
const {
  prop: {
    nested: { val }
  }
} = object;
console.log(val);

次のような実行時エラーにつながります

/test.ts:24
} = object;
    ^
TypeError: Cannot read property 'nested' of undefined
    at Object.<anonymous> (/test.ts:24:5)
    at Module._compile (node:internal/modules/cjs/loader:1108:14)
    at Module.m._compile (/node_modules/ts-node/src/index.ts:1043:23)
    at Module._extensions..js (node:internal/modules/cjs/loader:1137:10)
    at Object.require.extensions.<computed> [as .ts] (/node_modules/ts-node/src/index.ts:1046:12)
    at Module.load (node:internal/modules/cjs/loader:973:32)
    at Function.Module._load (node:internal/modules/cjs/loader:813:14)
    at Function.executeUserEntryPoint [as runMain] (node:internal/modules/run_main:76:12)
    at main (/node_modules/ts-node/src/bin.ts:225:14)
    at Object.<anonymous> (/node_modules/ts-node/src/bin.ts:512:3)

編集

ANSWERstrictNullChecks as truein config を 使用すると、これらのシナリオが検出されます。