Bug Fix: Fixed bug in logic that verifies exception type in "raise" statement. It was not properly handling generic types that were bound to BaseException.
New Feature: Add --ignoreexternal CLI flag for use with --verifytypes feature. (Contribution by Vlad Emelianov)
Enhancement: The --verifytypes output now includes file paths in the report. (Contribution by Vlad Emelianov)
Bug FIx: Fixed crash that occurred when a function was declared within a local scope but when the function's symbol was previous declared "global" or "nonlocal" within that scope.
Enhancement (from Pylance): Method and class docstrings now inherit from parent classes if docstrings are missing in child class.
Enhancement (from Pylance): Improved support for partial stubs (where py.typed file includes "partial" as per PEP 561).
Bug Fix: Fixed bug that caused incorrect type evaluation for member access expressions when the member was a descriptor object and the base type was a variable containing a reference to the class.
Bug Fix: Fixed bug in document symbol provider that caused incorrect range to be returned for classes and functions.
Enhancement: Improved tracking of incomplete types (those that have not yet been fully established because of recursive type dependencies within the code flow graph).
New Feature: Added logic for if/elif chains that contain no else clause but completely narrow one or more variables.
Behavior Change: Changed behavior of TypeVar constraint solver to eliminate literal types (widening them to their associated type) when solving for TypeVars, unless a literal type was explicitly provided (e.g. using explicit specialization like List[Literal[1, 2, 3]]).
Behavior Change: Changed reportOverlappingOverload to be an error in strict mode.
Bug Fix: Fixed bug in logic that determines whether one callable type can be assigned to another. It wasn't taking into account the positional-only parameter separator (/).
Bug Fix: Fixed a bug in conditional type narrowing that narrows based on descriminated member variable types. It was being over aggressive in narrowing in the negative ("else") case when the type of the member was a union of literal types.
Bug Fix: Fixed false positive error that occurred when setting or deleting the member of an object where that member's type is defined by a parent class and is generic but is specialized by a child class.