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

Bắt đầu với các ví dụ TypeScript Playground được liên kết và so sánh việc truy cập thuộc tính, ký hiệu dấu ngoặc vuông và phép phân rã trên một giá trị được khẳng định là never. Theo dõi cách trình biên dịch xử lý ba dạng này và thêm hoặc cập nhật phạm vi kiểm thử hồi quy để mỗi dạng đều bị từ chối một cách nhất quán.