Destructuring or bracket notation on `never` shouldn't be allowed

Bug Report

You can destructure or use bracket notation on never type, but you can't access props using the dot notation. It should disallow all forms of property access.

🔎 Search Terms

never destructuring destructure bracket dot notation

🕗 Version & Regression Information

• This is the behavior in every version I tried, and I reviewed the FAQ ✔️
  • 3.9.7
  • 4.1.5
  • Nightly

⏯ Playground Link

Playground link

🙁 Actual behavior

const { prop } = ({} as never); // does not error
const prop2 = ({} as never)["prop"]; // does not error

🙂 Expected behavior

TS should not allow this, same as you can't access props using the dot notation:

const prop = ({} as never).prop; // error

リンクされている TypeScript Playground の例から始め、never としてアサートされた値に対するプロパティアクセス、ブラケット記法、分割代入を比較してください。コンパイラーがこれら 3 つの形式をどのように処理するかを追跡し、それぞれが一貫して拒否されるように回帰テストを追加または更新してください。