AFAIK none of these are valid javascript, event assuming ES6:

* class-level variables (resolved as instance variables)

* field visibility

* initializer constructors (constructor without a body automatically assigning to a field)

* enum types

That is, you can't remove type annotations (and `interface` declarations which can probably get a pass) and end up with valid JS, which seems to be what flow yields.