pyre-check

• Experimental Buck2 support
• Experimental support for unawaited awaitable check
• Recognize {typing,typing_extensions}.override
• Type check messages in assert

• Better source location if there are type errors within type comments.
• Basic support for PEP 681 (dataclass transforms).
• Prototype support for LSP hovering and goto-definition (needs to opt-in via configuration but this may change in the future).
• Basic support for PEP 561 (needs to opt-in via configuration but this may change in the future).
• Parsing is now performed lazily. This should significantly reduce the type checking time for small projects.

• Fixed parser crashes on files with non-utf codec.
• Fixed bad JSON error in setup.py.
• Various fixes regarding tuple expansions at callsites.

Incomprehensive list of changes since last release:

• Add support for generic type aliases.
• Experimental support for recursive type aliases.
• Deprecated several queries that are no longer actively maintained.
• Automatically add all site packages to search_path if none is specified and a virtual env is activated.

Fix an issue with cursor eating and another issue with incorrect auto-determined path for bundled typeshed.

Fixed #315

Fix pyre init breakage in v0.0.53.

Adds sapp back into release.

Biggest changes since last release (non-exhaustive):

• Fixed support for nested recursive function.
• Fixed several issues where the type of globally-accessible values are erroneously locally refined.
• Support batch type lookup query pyre query "types(...)".
• Support basic variadic generics on functions & classes.
• Added a safe_cast that functions similar to typing.cast but enforces subclass.
• Fixed several issues with search path construction & error filtering.
• search_path configuration now allows entries of the form { "site-package": "XXX" }
• Support specifying relative paths in binary, typeshed, and ignore_all_errors.
• Special placeholder ${SOURCE_DIRECTORY} can be added to exclude configuration to allow relative path matching in exclude configuration.
• Improved the quality of pyre-infer annotations.
• sapp is no longer bundled.