Bug Fix: Fixed regression that caused "isinstance(x, Callable)" to be flagged as an error when PEP 484 says that it's legal.
Enhancement: Changed error messages related to "partially unknown" types to expand type aliases, which can obscure the unknown part of the type.
Enhancement: Added support for narrowing types based on the pattern "A.B == " and "A.B != " when A has a union type and all members of the union have a field "B" with a declared literal type that discriminates one sub-type from another.
Enhancement: Added bidirectional type inference for ternary expressions.
Bug Fix: Fixed incorrect handling of member accesses when the accessed field had a type that was a union between two or more classes, some with special accessor methods (e.g. "get") and some without.
Enhancement: Improved type checking for assignments of callable types. Previously, certain edge cases were ignored.
Enhancement: Added code to check for overlapping (obscured) overload functions.
Bug Fix: Fixed bug that caused incorrect evaluation of type alias that refers to Literal types. The literal values were being stripped in some cases.
Bug Fix: Fixed recent regression that caused type aliases that described literal types to be printed incorrectly in hover text and error messages.
Enhancement: Added code to report overloads that overlap in an "unsafe" way — i.e. they can potentially accept the same arguments but return different (incompatible) types.
Enhancement: Updated typeshed stubs to latest version.
Bug Fix: Fixed bug in assignment checks between homogeneous multi-length tuples and fixed-size tuples.