Bug Fix: Fixed bug that resulted in false positive when using a recursive type alias with a generic dataclass constructor.
Bug Fix: Fixed a bug that results in a false negative when handling a function parameter that is annotated with a function-scoped TypeVar and has a default argument value.
Behavior Change: Changed the handling of reveal_type so it participates in bidirectional type inference when used within a larger expression.
Bug Fix: Fixed long-standing bug in logic that applies config file settings for diagnostic rule severity levels. The bug caused all settings overrides to be ignored if a pyrightconfig.json file was present. The new logic applies the default values, then the settings overrides, then the pyrightconfig.json file values. The change also simplifies the code, which was getting a bit unmaintainable.
Enhancement: Extended dataclass_transform to support transform_descriptor_types parameter.
Enhancement: Added support for an unpacked TypedDict as a type annotation for a *kwargs parameter.
Bug Fix: Improved the type(x) is y type narrowing logic to handle the case where y is a TypeVar or Self type.
Bug Fix: Fixed bug in match statement type narrowing. It wasn't properly handling the negative type narrowing case for class patterns when the subject expression was a bound TypeVar or Self type.
Bug Fix: Fixed a bug related to the __eq__ method (and other order methods) that are synthesized for a dataclass. The parameter name was incorrect. It should be other.
Bug Fix: Added support for NFKC normalization of identifiers as specified in the Python lexical specification.