unreachable code detected not work for if clause.

TypeScript Version: 3.9.2

Search Terms: unreachable

Code

const hel2 = (x: number) => {
  switch (typeof x) {
    case 'number': return 0
  }
  x    // Unreachable code detected
}

const hel12 = (x: number) => {
  if(typeof x === 'number'){
    return 0;
  }
  x    // expect same error here!
}

Expected behavior:
in commnet

Actual behavior:
in commnet

Playground Link:
https://www.staging-typescript.org/play?#code/MYewdgzgLgBAFgUwDYCYYF4YAoAeAuGMAVwFsAjBAJwEoMA+GAbwCgYYIB3ASymDmygBPAA4IQAMxg5aLNm2ABDCAhgByYuSqqClBFCKUwMAAysYAXzM5ml5qEixESAIxpMuAhoo16TM13EsIVEJKQx0THVSb1VqWTldfUMTAG4zSzZrSyA

Related Issues:

TypeScript のコードサンプルとその Playground リンクから始め、switch 文と if 文の後の到達不能コードの診断を比較します。これら 2 つの制御フロー形式について、コンパイラーの到達不能コード分析を追跡し、変更前と変更後で同等のケースが期待される診断になることを確認します。