Bug Fix: Fixed bug that caused unaccessed variable diagnostics to go unreported in "for" clause of list comprehensions.
Bug Fix: Fixed errant "unbound variable" and "unknown type" messages that result from particularly complex cyclical analysis dependencies.
Bug Fix: Fixed bug in generic class type matching. TypeVars from different levels of a class hierarchy were getting conflated.
Bug Fix: Fixed bug related to specialization of a type alias definition that consists of a partially-specialized class.
Enhancement: Added support for ClassVar as specified in PEP 526 and 544.
Enhancement: Added logic to ensure that a TypeVar or ParameterSpecification is assigned to a variable of the same name used within the constructor call.
Bug Fix: Fixed bug in completion suggestions where inappropriate auto-import suggestions were sometimes presented when multiple execution environments are defined.
Bug Fix: Changed code to allow ParameterSpecification to be passed as a type arg to a generic class.
Enhancement: Tightened the check for unknown member types. Previous logic didn't check for unknown member types when member accesses in all cases.
Enhancement: If a type stub doesn't specify a return type for a function or method, assume that it's "Unknown" rather than "Any".
Enhancement: Updated stdlib typeshed stubs to the latest.
Enhancement: Added third-party typeshed stubs.
New Feature: Hover text, signature help, and completion now uses doc strings from source code if types come from a type stub file but doc strings are not found in the stub.
Bug Fix: "Find All References" no longer shows references within library implementations (other than the primary declaration).
Enhancement: Diagnostic severity level for individual diagnostic rules can be set to "information" (in addition to "none", "warning" and "error").
New Feature: python.analysis.diagnosticSeverityOverrides setting in VS Code can be used instead of pyrightconfig.json to specify severity overrides for specific diagnostic rules.