grammar errors should be reported as syntactic diagnostics

TypeScript Version: 3.3.0-dev.20181222

Search Terms:

Code

// @filename: test.js
function test(...args,) {} // trailing comma not allowed

class C {
  async static foo() {} // modifiers are in the wrong order
}

@decorator // invalid decorator location
async var v = 1; // invalid modifier location

let {...rest: rest} = {}; // rest property cannot have a property name

Expected behavior:

All errors above are reported in JS files as they result in parse errors when executed.

Actual behavior:

The above file has no errors. They are not reported as syntax errors because TypeScript's parser is more permissive than the spec in many cases. Since grammar errors are only reported during type-checking they are ignored in JS files without // @ts-check.

Other JS parsers, e.g. javascript VMs, emit a parse error for the code above.

Related Issues:
#6107 suggests moving grammar errors to the binding phase
#6802

Riproduci gli esempi nel parser TypeScript e confronta le diagnostiche JavaScript con e senza // @ts-check. Inizia tracciando gli errori grammaticali attraverso il parsing, il controllo dei tipi e la relativa fase di binding discussa nelle issues #6107 e #6802. Il lavoro è completato quando le costruzioni non valide elencate producono diagnostiche di sintassi nei file JavaScript senza richiedere il controllo dei tipi.