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

Inizia dagli esempi collegati di TypeScript Playground e confronta l'accesso alle proprietà, la notazione con parentesi quadre e la destrutturazione su un valore asserito come never. Traccia la gestione di queste tre forme da parte del compilatore e aggiungi o aggiorna la copertura di regressione in modo che ciascuna venga rifiutata in modo coerente.