error TS1036: Statements are not allowed in ambient contexts
=== erronious semi colon (very human)
Doesn't actually make type safe code. If you do spread operators or destructuring you are doomed.
What would make typescript useful is if it removed the need for ternary statements for property accessors.