Enhancement: Added error for Callable that is missing a return type.
Behavior Change: Changed type analysis behavior when reportGeneralTypeIssues diagnostic rule is disabled and an incompatible type is assigned to a variable. Previously, the assigned type was retained in this case, but now the declared type is assumed (as it is when reportGeneralTypeIssues is enabled).
Enhancement: Added support for completion suggestions within subscript for typed dict attribute names.
Behavior Change: Change string literals to use "constant" type when displayed in completion suggestion lists.
Behavior Change: Changed logic for detecting overrides of Final member variables by subclasses. Symbols with double underscores are now exempt from this check, since they are considered private and are name-mangled.
Bug Fix: Fixed bug in logic that detects overrides of @Final methods. The logic was not handling the case where a private (single underscore) method was marked final.
Enhancement: Updated typeshed stubs to latest.
Bug Fix: Fixed regression in code that handles context managers that suppress exceptions.
Bug Fix: Fixed bug that resulted in infinite recursion (and an internal error) when NewType was used with a protocol class.
Bug Fix: Fixed reportIncompatibleMethodOverride diagnostic check so it doesn't ignore incompatible protected methods (those whose names start with a single underscore).
Enhancement: Added support for "reveal_locals()" call to reveal all of the symbols within the current scope.
Bug Fix: Fixed internal error resulting from an assignment expression located within a list comprehension scope which is contained within a class scope.
Enhancement: Augmented type completeness JSON output to include alternate public names of exported symbols. For example, if a symbol "foo" is declared in module "a.b.c" and is also re-exported from "a", then the main name of the symbol is "a.b.c.foo", but it has an alternate name of "a.foo".
Enhancement: Improved "partially unknown type" error messages within type completeness report.