Bug Fix: Fixed bug that caused false positive when evaluating type compatibility between two TypedDict types that are structurally the same but have different declarations. PEP 589 indicates that these should be treated as compatible types.
Bug Fix: In the case where a type annotation is an illegal form (e.g. a variable or a function), the annotation should evaluate to an Unknown type.
Enhancement: Added support for async functions that return NoReturn type.
Bug Fix: Fixed bug that prevented error when a generator function returned an inappropriate type if that type was a subclass of Iterable.
Bug Fix: Fixed bug that resulted in unreported Unknown type in strict mode when the type was evaluated as part of a call to an overloaded function in some circumstances.
Enhancement: Updated typeshed stubs to the latest.
Bug Fix: Improved check for inconsistent use of tabs and spaces to catch a previously-unreported case that generates runtime errors.
Bug Fix: Added a type consistency check for TypedDicts which are otherwise compatible except that one is marked @Final and the other is not.
Behavior Change: Changed reportUnusedVariable diagnostic check to exempt variables whose names begin with an underscore.
Behavior Change: Changed logic that determines whether a function should be exempt from return type consistency checks. If a function or method contains only a docstring but no ..., it is no longer exempt (unless it is an @overload).