Bug Fix: Fixed a bug that resulted in a false positive error when accessing __required_keys__ and __optional_keys__ class variables from a TypedDict class.
Enhancement: Added support for type guard forms x is ..., x is not ..., x == ... and x != .... Support for these were recently added to mypy.
Enhancement: Added support for NoneType to be used in an isinstance type guard or match statement.
Bug Fix: Fixed a bug that resulted in a false positive when using heavily-nested call expressions that target overloads. The speculative type cache was not storing information about whether the type evaluation resulted in errors, so incorrect overloads were being chosen in the cached path.
Bug Fix: Fixed a recent regression that led to a false positive in certain cases when a call to a generic function was made within a loop.
Bug Fix: Fixed a bug that resulted in a false positive error in certain cases when using PEP 695 type parameter syntax.
Bug Fix: Fixed a bug that resulted in an incorrect type evaluation when calling a constructor on a class that uses new PEP 696 TypeVar defaults and provides an __init__ but no __new__.
Bug Fix: Fixed a bug that led to a false negative when comparing a function without a *args to a callable type with a *args.
Bug Fix: Fixed a bug in PEP 696 (TypeVar defaults) logic that resulted in a false positive error when a Self type was used within a generic method that also used a TypeVar with a default type.
Bug Fix: Fixed a bug that resulted in incorrect isinstance type narrowing in certain cases when found within a loop construct.
Bug Fix: Fixed a bug that resulted in a false positive error when a generic class used a contravariant type variable and defined a __new__ method that uses cls: type[Self] as a parameter.