Skip to content

Published 1.1.97

Compare
Choose a tag to compare
@erictraut erictraut released this 26 Dec 23:20

Enhancement: Improved type analysis performance in cases where an expression contains deeply-nested expressions that involve calls to overloaded functions or bidirectional type inference.

Bug Fix: Fixed bug in ParamSpec logic that affected the case where a generic function with specialized parameters was matched to the ParamSpec.

Bug Fix: Fixed bug where a union with a NoReturn subtype could have been generated when evaluating a union of iterable types.

Enhancement: Improved type narrowing logic for "a is b" narrowing in the case where b is a union that contains both literal and non-literal subtypes.

Enhancement: Added error condition for the situation where an overloaded function is used in conjunction with a ParamSpec.

Bug Fix: Fixed bug that resulted in a false negative error when performing type assignment checks for functions that contain unspecialized type variables.

Enhancement: Improved error messages that include type variables. The scope that defines the type variable is now included. This avoids confusing and seemingly-contradictory error messages like "type _T cannot be assigned to type _T".

Bug Fix: Fixed bug that caused type evaluator to generate different results if someone hovered over the name of a type variable within an index expression before the entire source file was analyzed.