Performance: Improved performance of code flow analysis.
Bug Fix: Fixed inconsistency in type printer when outputting a callable with an Optional return type.
Bug Fix: Fixed bug that resulted in incorrect "unreachable code" when a match statement contained a guard expression that statically evaluates to True.
Bug Fix: Fixed a bug that caused a false negative with the reportMissingTypeArgument check when used with a member access expression where the LHS is a module.
Bug Fix: Fixed false negative when a class variable of type type[T] is specialized to type[Any] and then assigned a value in a base class that is not compatible with type[Any].
Bug Fix: Fixed a type evaluation bug that occurs when a constructor uses a class-scoped ParamSpec and uses *args: P.args and **kwargs: P.kwargs parameters.
Bug Fix: Added exception handling to recover from errors thrown by the YarnFS (zip handling library).
Bug Fix: Fixed regression that resulted in an incorrect Unknown type evaluation for a variable within a loop.
Bug Fix: Fixed a recent regression that resulted in incorrect type evaluation within a loop with dependency chains between variables.
Enhancement: Updated typeshed stubs to the latest.
Bug Fix: Fixed a bug related to specialization of a generic class that uses ParamSpec when the type argument corresponding to the ParamSpec is unspecified. In this case, the ParamSpec should receive a "default" signature (*args: Any, **kwargs: Any) — the ParamSpec equivalent of Any.
Bug Fix: Fixed a bug that resulted in a false negative in the type consistency checks for functions with a ParamSpec.
Bug Fix: Fixed a bug that resulted in a false negative when calling a function that includes a ParamSpec from within an inner function. The code was not verifying that *args and **kwargs with the appropriate ParamSpec type were passed as arguments.
Bug Fix: Fixed bug that resulted in a false negative when dealing with a mutable instance or class variable in a Protocol class. Such variables need to be treated as invariant when performing protocol compatibility checks.