[pedantic] Disallow access member from any type

Search Terms

checker, any

Suggestion

As https://gist.github.com/RyanCavanaugh/f80f9ddc50d45c4d76e7c4101efada28 said

Disallow access members from any type.

Examples

declare const a: any

a.a; // error
a["a"] // error

a.a = 1 // error
a["a"] = 1 // error

Checklist

My suggestion meets these guidelines:

• This wouldn't be a breaking change in existing TypeScript/JavaScript code
• This wouldn't change the runtime behavior of existing JavaScript code
• This could be implemented without emitting different JS based on the types of the expressions
• This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• This feature would agree with the rest of TypeScript's Design Goals.

まず、issue の例を基準として、any として型付けされた値に対するプロパティアクセスおよびインデックスアクセスの TypeScript checker の動作を確認します。読み取りと書き込みで意図されている診断を判断し、その後、出力される JavaScript を変更せずに各例が拒否されることを示すテストカバレッジを追加します。