Bug Fix: Fixed a bug that resulted in a false positive when determining the correct variance of a TypeVar used within a class.
Bug Fix: Improved type inference of method calls on super() so Self is generated rather than the concrete class.
Bug Fix: Fixed regression in import resolver that resulted in spurious "stub not found" diagnostics.
Bug Fix: Fixed a bug that resulted in incorrect type evaluation of augmented assignments used in loops in some cases.
Bug Fix: Addressed a performance issue that resulted in long evaluation times when a variable was used in a loop but was not initialized prior to the loop.
Enhancement: Improved support for ternary expressions that use a statically-evaluatable condition expression.
Enhancement: Enhanced the reportUnnecessaryComparison to check for unused patterns in a match statement.
Bug Fix: Fixed bug that caused a false positive when a variable of type type is used as an argument to a class declaration.
Bug Fix: Changed logic to treat self and cls parameters as positional-only for purposes of protocol matching.
Bug Fix: Fixed bug that resulted in a false positive error with assert_type when the evaluated type involved a pseudo-generic class.
Enhancement: Updated typeshed stubs to the latest version.
Enhancement: Added diagnostic check for when unknown or partially-unknown type is captured by a wildcard pattern in a match statement.
Enhancement (from pylance): Added module name to moduleUnknownMember diagnostic.
Performance: Improved performance by not inferring return type of overloaded implementation when binding an overloaded method to an object.