Bug Fix: Fixed a false positive error (and crash) when a walrus operator (assignment expression) is used within a list comprehension which is passed as an argument to a function decorator.
Bug Fix: Fixed stack overflow crash in type analyzer.
Bug Fix: Fixed incorrect evaluation of recursive type alias whose definition uses a TypeAlias annotation.
Enhancement: Improved error messages for type argument count mismatch; they were referring to a "class", but sometimes they were used for type aliases as well.
Bug Fix: Fixed bug that resulted in the incorrect specialization of a type alias that includes a ParamSpec.
Bug Fix: Fixed bug in type verifier that resulted in incorrect reporting of an unknown type when a type alias was defined using a TypeAlias annotation.
Enhancement: Extended dataclass_transform mechanism to support implicit init argument values for field descriptors.
Bug Fix: Fixed false native that incorrectly allowed a union type to be assigned to a constrained TypeVar.
Bug Fix: Improved handling of class properties (i.e. properties that have @classmethod applied to them). The cls parameter for the property method is now properly passed the class as an argument.
Enhancement (contribution by Marc Mueller): Adjust auto-import sorting to better match isort.
Bug Fix: Fixed bug in overlapping overload detection logic that resulted in false positives in some cases.
Bug Fix: Fixed a bug that resulted in unsolved TypeVars in certain edge cases involving function type compatibility checks.
Bug Fix: Improved handling of constrained type variables that use a union in one or more constraints.
Bug Fix: Fixed bug that resulted in a false positive error when a call involves overloads and one or more of the arguments involves another call expression whose type is generic, and therefore influenced by bidirectional inference context.