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:

Bắt đầu với mẫu mã TypeScript và liên kết Playground của nó, so sánh các chẩn đoán mã không thể truy cập sau các câu lệnh switch và if. Theo dõi quá trình phân tích mã không thể truy cập của trình biên dịch đối với hai dạng luồng điều khiển này và xác minh rằng các trường hợp tương đương tạo ra chẩn đoán mong đợi trước và sau thay đổi.