[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.

Inizia esaminando il comportamento del TypeScript checker per l'accesso a proprietà e indici su valori tipizzati come any, usando gli esempi nell'issue come riferimento. Determina le diagnosi previste per le letture e le scritture, quindi aggiungi una copertura che mostri che ogni esempio viene rifiutato senza modificare il JavaScript emesso.