Flow Files

Likely to cause new Flow errors:

• More subtyping errors will print the types that are incompatible. Some errors might have new locations.
• A unique symbol annotation is now an error unless it is the type of a const variable, of a readonly object type or interface property, or of a static readonly class field.
• Flow will error on legacy variance syntax in library definition files

New Features:

• We have released flow-parser and flow-eslint packages that are drop-in replacement for hermes-parser and hermes-eslint. Babel docs and ESLint docs have been updated.
• Object properties, class fields, methods, and the members of an interface or declare class imported from another module, can be keyed by a unique symbol.

Notable bug fixes:

• Prevent a race that can leave server hanging
• Support TypeScript constructor objects in Flow class positions.
• keyof over a symbol index signature is now symbol rather than string.
• A class can extend a value with a construct signature.
• x !== undefined no longer stops refining after a call that passes undefined as an argument: (e.g. try-Flow)

Library Definitions:

• Well-known symbols on Symbol are typed as unique symbol, and Symbol.metadata is now available.