Enhancement: Implemented missing check for a write to a Final instance or class variable outside of the class implementation.
Enhancement: Added missing check for an attempt to write to a named tuple attribute, which generates a runtime exception.
Bug Fix: Fixed bug that resulted in a false positive when a function returned a callable type that included a parameter with a union type that included an unsolved type variable.
Bug Fix: Improved handling of intersection types produced as part of isinstance or issubclass type narrowing when the source variable is a type variable. The creation of the intersection type was incorrectly eliminating the association with the type variable, so the narrowed type was no longer seen as compatible with the TypeVar.
Enhancement: Added check for Union when only one type argument is provided and it is not an unpacked variadic type variable.
Bug Fix: Fixed bug in "--ignoreexternal" option used with package type verification. It was not correctly ignoring all externally-imported symbols that had unknown or partially-unknown types.
Enhancement: Updated typeshed stubs to latest.
Bug Fix: Fixed false positive error when a constrained TypeVar T and Type[T] were both used in the same function signature.