Behavior Change: By default, the "reportMissingTypeStubs" setting now defaults to "warning" instead of "none". As before, it is an "error" in strict mode. Type checkers like Pyright provide significantly more value when you have type stubs available. For more details about why type stubs are important and how to locate or generate type stub files for your project, please refer to this documentation.
Bug Fix: Avoid reporting "partially unknown" error for functions that include "*" parameter.
Bug Fix: Fixed logic that converts function types to a string (for hover text, error messages, etc.). It wasn't correctly handling the 'position-only' argument separator ('/') introduced in Python 3.8.
Bug Fix: Fixed bug in binder logic that resulted in infinite recursion in the type evaluator. It occurred in the case where the target of an assignment was a tuple and the elements in the tuple depended on assignment ordering. The binder was not assigning the correct control flow nodes to the individual elements of the target tuple.
Bug Fix: Fixed bug in type evaluator relating to type var matching for function calls. The code now "locks" the type var map after the first pass. In the second pass, it verifies that the arguments are compatible with the types associated with the (now-locked) type vars.
Bug Fix: Fixed bug in type evaluator where it not properly handling properties within protocol classes.
Bug Fix: Fixed translation of a heterogenous tuple into an iterator. The resulting iterator needs to have a type argument created from a union of the heterogeneous tuple entries.
Enhancement: Added error reporting for instance and class variables within methods declared in a Protocol class. PEP 544 indicates that these should be flagged as an error.
Bug Fix: Fixed bug in type check logic that determines whether a class conforms to a Protocol. It was not properly taking into account instance variables within the class.
Bug Fix: Fixed bug in handling of "cast" function when type is specified within a string literal.
Enhancement: Added type narrowing support for built-in "callable" call.