Skip to content

0.7.0
Compare
Choose a tag to compare
@JelleZijlstra JelleZijlstra released this 13 Apr 17:07
· 207 commits to master since this release
v0.7.0
21bff91
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Release highlights:

  • Support for PEP 673 (Self)
  • Support for PEP 675 (LiteralString)
  • Support for assert_type and other additions to typing in Python 3.11

Full changelog:

  • Remove SequenceIncompleteValue (#519)
  • Add implementation function for dict.pop (#517)
  • Remove WeakExtension (#517)
  • Fix propagation of no-return-unless constraints from calls
    to unions (#518)
  • Initial support for variable-length heterogeneous sequences
    (required for PEP 646). More precise types are now inferred
    for heterogeneous sequences containing variable-length
    objects. (#515, #516)
  • Support LiteralString (PEP 675) (#514)
  • Add unused_assignment error code, separated out from
    unused_variable. Enable these error codes and
    possibly_undefined_name by default (#511)
  • Fix handling of overloaded methods called on literals (#513)
  • Partial support for running on Python 3.11 (#512)
  • Basic support for checking Final and for checking re-assignments
    to variables declared with a specific type (#505)
  • Correctly check the self argument to @property getters (#506)
  • Correctly track assignments of variables inside try blocks
    and inside with blocks that may suppress exceptions (#504)
  • Support mappings that do not inherit from collections.abc.Mapping
    (#501)
  • Improve type inference for calls to set(), list(), and
    tuple() with union arguments (#500)
  • Remove special-cased signatured for sorted() (#498)
  • Support type narrowing on bool() calls (#497)
  • Support context managers that may suppress exceptions (#496)
  • Fix type inference for with assignment targets on
    Python 3.7 and higher (#495)
  • Fix bug where code after a while loop is considered
    unreachable if all break statements are inside of if
    statements (#494)
  • Remove support for detecting properties that represent
    synchronous equivalents of asynq methods (#493)
  • Enable exhaustive checking of enums and booleans (#492)
  • Fix type narrowing in else branch if constraint is stored in a
    variable (#491)
  • Fix incorrectly inferred Never return type for some function
    implementations (#490)
  • Infer precise call signatures for TypedDict types (#487)
  • Add mechanism to prevent crashes on objects
    with unusual __getattr__ methods (#486)
  • Infer callable signatures for objects with a
    __getattr__ method (#485, #488)
  • Do not treat attributes that raise an exception on access
    as nonexistent (#481)
  • Improve detection of unhashable dict keys and set members (#469)
  • The in and not in operators always return
    booleans (#480)
  • Allow NotImplemented to be returned from special
    methods that support it (#479)
  • Fix bug affecting type compatibility between
    generics and literals (#474)
  • Add support for typing.Never and typing_extensions.Never (#472)
  • Add inferred_any, an extremely noisy error code
    that triggers whenever the type checker infers something as Any (#471)
  • Optimize type compatibility checks on large unions (#469)
  • Detect incorrect key types passed to dict.__getitem__ (#468)
  • Pick up the signature of open() from typeshed correctly (#463)
  • Do not strip away generic parameters explicitly set to
    Any (#467)
  • Fix bug that led to some overloaded calls incorrectly
    resolving to Any (#462)
  • Support __init__ and __new__ signatures from typeshed (#430)
  • Fix incorrect type inferred for indexing operations on
    subclasses of list and tuple (#461)
  • Add plugin providing a precise type for dict.get calls (#460)
  • Fix internal error when an __eq__ method throws (#461)
  • Fix handling of async def methods in stubs (#459)
  • Treat Thrift enums as compatible with protocols that
    int is compatible with (#457)
  • Assume that dataclasses have no dynamic attributes (#456)
  • Treat Thrift enums as compatible with int (#455)
  • Fix treatment of TypeVar with bounds or constraints
    as callables (#454)
  • Improve TypeVar solution algorithm (#453)
  • Cache decisions about whether classes implement protocols (#450)
  • Fix application of multiple suggested changes per file
    when an earlier change has added or removed lines (#449)
  • Treat NoReturn like Any in **kwargs calls (#446)
  • Improve error messages for overloaded calls (#445)
  • Infer NoReturn instead of Any for unreachable code (#443)
  • Make NoReturn compatible with all other types (#442)
  • Fix treatment of walrus operator in and, or, and if/else
    expressions (#441)
  • Refactor isinstance() support (#440)
  • Exclude Any[unreachable] from unified values (#439)
  • Add support for reveal_locals() (#436)
  • Add support for assert_error() (#435)
  • Add support for assert_type() (#434)
  • reveal_type() and dump_value() now return their argument,
    the anticipated behavior for typing.reveal_type() in Python
    3.11 (#433)
  • Fix return type of async generator functions (#431)
  • Type check function decorators (#428)
  • Handle NoReturn in async def functions (#427)
  • Support PEP 673 (typing_extensions.Self) (#423)
  • Updates for compatibility with recent changes in typeshed (#421):
    • Fix override compatibility check for unknown callables
    • Fix usage of removed type _typeshed.SupportsLessThan
  • Remove old configuration abstraction (#414)
Assets 2