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

Commencez par les exemples TypeScript Playground liés et comparez l'accès aux propriétés, la notation entre crochets et la déstructuration sur une valeur affirmée comme never. Suivez le traitement de ces trois formes par le compilateur et ajoutez ou mettez à jour la couverture de régression afin que chacune soit rejetée de manière cohérente.