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

Beginne mit den verlinkten TypeScript Playground-Beispielen und vergleiche den Eigenschaftszugriff, die Klammernotation und die Destrukturierung bei einem Wert, der als never behauptet wird. Verfolge, wie der Compiler diese drei Formen behandelt, und füge Regressionstests hinzu oder aktualisiere sie, sodass jede Form konsistent abgelehnt wird.