Bug Fix: Fixed bug in import resolver where a namespace package was chosen over a traditional package if the former had a shorter name.
Enhancement: Added support for __call__ method overloads when assigning a callable object to a callable type.
Enhancement: Added error for a subscripted type annotation that involves a quoted expression in the LHS of the subscript. This generates runtime errors.
Enhancement: Enhanced reportIncompatibleMethodOverride diagnostic check to support overrides that have *args and **kwargs parameters.
Enhancement: Improved completion suggestions to better handle super calls in base class methods.
Bug Fix: Fixed bug that affected the case where a class variable has a declared type in a base class, and a subclass assigns a value to that class variable but doesn't (re)declare its type. In this case, the type of the expression assigned within the base class should use the expected type declared in the base class for type inference.
Enhancement: Added missing error logic to handle the case where a type variable is used in the LHS of a member access expression. This isn't supported currently in the Python type system.
Enhancement: Improved error checking and reporting for NewType (for unions, literals, callables, protocol classes, and type variables).
Enhancement: Added error check for an attempt to instantiate a literal (Literal[1]()).
Bug Fix: Fixed bug in TypeVar constraint solving logic. If an "Any" or "Unknown" type is being assigned to a constrained TypeVar, it should result in "Any" or "Unknown" rather than the first constrained type.
Enhancement: Added check for multiple functions declared within the same scope that have the same name, with the final one overwriting the earlier ones. This check is suppressed for overloaded functions and property setters/deleters.
Enhancement: Improved the reportIncompatibleVariableOverride diagnostic check so it ignores symbols with private names (i.e. start with double underscores).
Bug Fix: Changed hover text to use the last declaration of a symbol rather than the first declaration to determine which type category text (e.g. "(module)" or "(class)") in the hover text.
Bug Fix: Fixed bug that caused error when invoking the definition provider on an unresolved module import.
Bug Fix: Fixed bug in logic that infers symbol types that resulted in "unbound" types to be reported incorrectly in certain rare circumstances.
Bug Fix: Fixed a crash in the "--verifytypes" feature of the CLI.
Bug Fix: Fixed bug in file watching logic so it properly handles cases where an entire folder is deleted.