Skip to content

0.13.0

Compare
Choose a tag to compare
@JelleZijlstra JelleZijlstra released this 07 Aug 13:25
· 12 commits to master since this release
d7e372a
  • Flag use of generators that are immediately discarded (#800)
  • Fix crash on some occurrences of ParamSpec in stub files (#797)
  • Fix crash when Pydantic 1 is installed (#793)
  • Fix error on use of TypeVar defaults in stubs (PEP 696). The
    default is still ignored, but now the TypeVar is treated as
    if it has no default. (#791)
  • Add new error code unsafe_comparison, which gets triggered
    when two values are compared that can never be equal. (#784)
  • Improve representation of known module, function, and type objects
    in error messages (#788)
  • Add a mechanism to allow overriding the global variables in an
    analyzed module. Use this mechanism to set the type of
    qcore.testing.Anything to Any. (#786)
  • Rename the is_compatible and get_compatibility_error functions
    to is_assignable and get_assignability_error to align with the
    terminology in the typing spec (#785)
  • Fix binary operations involving unions wrapped in Annotated (#779)
  • Fix various issues with Python 3.13 and 3.14 support (#773)
  • Improve ParamSpec support (#772, #777)
  • Fix handling of stub functions with positional-only parameters with
    defaults (#769)
  • Recognize exhaustive pattern matching (#766)
  • Narrow the types of variables assigned within complex patterns (#766)
  • New error code generator_return is raised when a generator does not
    return an iterable type, or an async generator does not return an async
    iterable type (#756)
  • Fix type narrowing for certain conditionals using or (#755)
  • Fix incorrect undefined_name errors when a class is nested in a nested
    function and uses a name from the outer function (#750)
  • Fix incorrect possibly_undefined_name error on certain uses of the
    walrus operator (#749)
  • Fix narrowing on isinstance calls with arguments that are not
    instances of type, such as unions and certain typing special forms (#747)
  • Detect invalid calls to isinstance (#747)
  • Support calls to TypeVar and several other typing constructs in
    code that is not executed (e.g., under if TYPE_CHECKING) (#746)
  • Fix spurious errors for the class-based syntax for creating
    NamedTuple classes (#746)
  • Make error registry into a custom class instead of an enum, removing
    dependency on aenum (#739)
  • Treat subclasses of int as subclasses of float and complex too (#738)
  • Fix crash on encountering certain decorators in stubs (#734)
  • Fix inference of signature for certain secondary methods (#732)