[TS] 到達不能エラーが出ない

Question

問題

以下のコードは無限に再帰しスタックが展開され到達不能となるコードですが
私の環境ではエラーを表示してくれません
環境設定（VS CodeやESLintで）の修正をすれば表示してくれるようになるのでしょうか？
returnの後ろのコードとかそういった単純なものでなければムリなのでしょうか？

type DeeperReadonly<T> = {
  readonly [P in keyof T]: DeeperReadonly<T[P]>
}

function readOnlyfy<T>(obj: T): DeeperReadonly<T> {
  return obj as DeeperReadonly<T>
}

設定(tsconfig.json)

{
  "compilerOptions": {
    "target": "es2016",
    "module": "commonjs",
    "strict": true,
    "strictNullChecks": true,
    "moduleResolution": "node",
    "esModuleInterop": true,
    "declaration": false,
    "sourceMap": false,
    "outDir": "./dist/js/",
    "rootDir": "./src/",
    "lib": ["es6", "dom", "es2017", "es2018", "es2015.iterable","scripthost"],
    "downlevelIteration": true,
    "baseUrl": "./",
    "typeRoots": [
      "node_modules/@types",
      "types/index"],
    "strictFunctionTypes": false,
    "experimentalDecorators": true,
    "emitDecoratorMetadata": true 
  },
}

設定(.eslintrc.js)

module.exports = {
  "ecmaFeatures": {
    "modules": true
  },
  "env": {
    "browser": true,
    "node" : true,
    "es6" : true,
    "mocha":true,
    "jquery": true
  },
  "extends": [
    "eslint:recommended",
    "plugin:prettier/recommended"
  ],
  "plugins": [
    "@typescript-eslint",
    "prettier"
  ],
  "globals": {
  },
  "parser": "@typescript-eslint/parser",
  "parserOptions": {
    "sourceType": "module",
    "project": "./tsconfig.json"
  },
  "settings":{
    'import/extensions': ['.js','jsx','.ts','tsx'],
    'import/resolver':{'node':['.js','jsx','.ts','tsx']}
  },
  "rules": {
    "no-console": "off",
    "no-irregular-whitespace":'off',
    "no-extra-semi": "warn",
    "no-undef": "warn",
    "quotes": ["warn", "single"],
    "space-before-blocks": ["warn", { "functions": "always" }],
    "@typescript-eslint/adjacent-overload-signatures": "error",
    "no-unused-vars":"off",
    "no-unreachable":"warn",
    "no-restricted-syntax": [
      "error",
      {
        "selector": "TSEnumDeclaration",
        "message": "Don't declare enums"
      }
    ],
    "prettier/prettier": [
      "error",
      {
        "singleQuote": true,
        "trailingComma": "es5", 
        "semi": false
      },
    ],
  },
}

環境

VS Code バージョン: 1.45.1
バージョン: 1.45.1
Node.js: 12.8.1
V8: 7.8.279.23-electron.0
OS: Darwin x64 18.7.0 ←　macOS Mojave

Comments

[maisumakun]

「到達不能となる」ことは、実際に確認しましたか？

[TOMIYASU_chan]

いえ、実際には実行しれいません
そういえば、実行そのものをしていませんね・・・
やってみます

[TOMIYASU_chan]

以下のものを付け加えてトランスパイルしました
let obj = {
name: 'test',
bodySize:{
b: 88,
w: 55,
h: 80,
}
}

let res = readonlyify(obj)
// Cannot assign to 'b' because it is a read-only property.
res.bodySize.b = 99　　　

十分に到達できています（ｗ
エラーが出ないことばかりが気になって聞いてしまいましたが
実際には問題なくトランスパイルできますからエラーも出ないですよね？
定義の段階では未確定な型Tについて実行時には確定しているわけだから
問題ないということでしょうか・・・

※なお返信欄にコードを埋め込む方法がわからずベタ文ですみません

Answer 1

定義の段階では未確定な型Tについて実行時には確定しているわけだから

問題ないということでしょうか・・・

TypeScriptはJavaScriptにトランスパイルする関係上、実行時点では型情報は存在しません。

function readOnlyfy(obj){
  return obj;
}

JavaScriptとしては、単なる恒等関数になっています。

Comments

[TOMIYASU_chan]

ありがとうございます！