Check JS Doc / other type annotations

[kaleidawave]

#57 Added basic support for reading comments as type annotations in certain positions:

error:
  ┌─ ./private/test-files/demo.ts:1:24
  │
1 │ const x /* string */ = 4;
  │            ------      ^ Type 4 is not assignable to type string
  │            │
  │            Variable declared with type string

There is also JS Doc, which contains type annotations. Ezno's synthesis could parse these comments (so done inside the checker, rather than the parser) and pass them off as the type annotation if there isn't one.

Additionally, could there be changes Ezno could make to support things that currently aren't representable in JS Doc?

[kaleidawave]

Turns out this is already in Flow https://flow.org/en/docs/types/comments/

(And some other project that I cannot find rn)