Enhancement: Added configuration option "strictSetInference" which is analogous to "strictListInference" and "strictDictionaryInference" but specifically for set expressions.
Enhancement: Tweaked heuristic in constraint solver to prefer types that have no "unknown" element to those that do.
Enhancement: Improved the handling of TypeVar matching when the source and dest types are both unions, the types are being compared with invariant constraints, and the dest contains a TypeVar.
Enhancement: Fixed misleading error message for "unsupported __all__ operations".
Enhancement: Improved error message for dataclass fields.
Bug Fix: Fixed bug that caused inconsistent type evaluation for type annotations based on order of evaluation. It was triggered in some cases by the semantic highlighting feature.
Bug Fix: Fixed bug in the function type compatibility logic. If the source has a *args or **kwargs parameter but the dest does not, the function should still be assignable.
Behavior Change: Changed the logic that searches for a config file. It currently searches from the current working directory all the way up the folder hierarchy. This makes sense only for a command-line tool, not for a language server. The latter already knows the project root, and we should look only in that directory for a config file.
Bug Fix: Fixed bug in signature help provider where its heuristics were causing it to return a bad response when the insertion point was immediately after a comma and a call expression preceded the comma.
Bug Fix: Added support for an import edge case where a module's __init__.py file is apparently importing from itself but intends instead to import from one of its submodules.
Bug Fix: Fixed bug in namespace import resolution. When there are multiple import search matches, the import resolver needs to take into account the individual symbols specified in the import statement.
Bug Fix: Fixed a bug whereby call expressions within a type annotation were flagged as errors but not evaluated, which meant that symbols referenced within them were not marked as accessed.
Enhancement: Updated typeshed stubs to the latest.