Likely to cause new Flow errors:
- Flow will now error on invalid type applications at the declaration site, if the type application does not use another generic type from an outer scope. example
- We fixed a bug where we incorrectly unwrapped the opaque type to the underlying representation in refinements
- Predicate functions (%checks) can no longer be recursive
- Fixed subtyping of indexers in instances/interfaces
Notable bug fixes:
- We fixed some spurious errors regarding opaque type refinements. example
- We made a change to method-unbinding errors so that it no longer errors when in an any/mixed context. This allows us to better support jest
- We fixed an issue where explicitly supplied JSX type arguments were ignored
- We fixed bigint Flow Enums that do not explicitly speicy
of bigintduring parsing. We were previously not correctly inferring that this was a bigint enum. - flow.org/try now supports go-to-definition, autocomplete, and signature help
Parser:
- Previously Flow outputs
ReadOnlyTypeAnnotationin parser output for annotations likereadonly string[]. Now we output it asTypeOperatorwith"operator": "readonly"
IDE:
- Fix printer output of casting syntax when LHS of
asoras consthas low precedence
Library Definitions:
- We migrated the built-in React library definitions to use component and hook syntax for various React-provided APIs. Look out for a blog post on our medium account for more details and see the React section in our docs