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

Comienza con los ejemplos enlazados de TypeScript Playground y compara el acceso a propiedades, la notación de corchetes y la desestructuración sobre un valor afirmado como never. Sigue cómo el compilador gestiona estas tres formas y añade o actualiza la cobertura de regresión para que cada una sea rechazada de forma coherente.