Bug Fix: Fixed bug in completion provider where it was not properly handling binding to classes, which left parameter types unspecialized in some cases. It was already properly handling binding to objects (class instances), so this was a straightforward extension.
Enhancement: Added support in completion provide for enum members. They are now properly identified as such and prioritized higher in the completion list than other non-member symbols.
Enhancement: Improved readability of diagnostic message for type mismatch when assigning to a tuple expression.
Bug Fix: Fixed a bug in the handling of reveal_type that caused hover text within the argument to be displayed as Unknown in some circumstances.
Enhancement: Added special-case support for the __self__ attribute of a bound method.
Bug Fix: Fixed bug that resulted in stack overflow.
Bug Fix: Fixed bug in stub generation code that resulted in an error if a stub was requested for a submodule in a package that includes an __init__.py file in the same directory as the submodule source file.
Enhancement: Improved signature help for the constructor of classes that define a __new__ method but no __init__ method, such as the zip class. The previous logic was always preferring the __init__, which is supplied by the object class, which all classes derive from.
Bug Fix: Fixed a bug that resulted in a false positive error when assigning one ParamSpec to another ParamSpec.
Bug Fix: Fixed bug that resulted in false positive "reportUnknownMemberType" error when using a generic class within a class pattern.
Bug Fix: Added missing diagnostic check for illegal type argument lists that include a ParamSpec when the type parameter list includes a ParamSpec.
Enhancement: Added missing keyword "with" from completion provider.
Bug Fix: Fixed bug in type promotion logic that resulted in false positive. It wasn't properly handling subclasses of promotable types (like 'int', which can be promoted to 'float').
Enhancement: Improved bidirectional type inference for call expressions. The logic now handles the case where the return type of the callable is a generic type that is not an exact match for the expected type but is assignable to the expected type.
Enhancement: Added support for explicit type aliases (PEP 613) within class scopes. A proposed amendment to PEP 613 will make this legal.
Enhancement: Added check for a class-scoped generic type alias that uses a class-scoped TypeVar. This is now flagged as an error.