0.13.0 failed to upload due to a change in PyPI, but as it had already been tagged, this is release 0.13.1.
- Use Trusted Publishing to publish releases (#806)
Changelog for version 0.13.0:
- 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
toAny
. (#786) - Rename the
is_compatible
andget_compatibility_error
functions
tois_assignable
andget_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 oftype
, 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., underif 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 onaenum
(#739) - Treat subclasses of
int
as subclasses offloat
andcomplex
too (#738) - Fix crash on encountering certain decorators in stubs (#734)
- Fix inference of signature for certain secondary methods (#732)