Bug Fix: Fixed inconsistency in definition provider where it would sometimes fail to go to a declaration if the symbol was not re-exported from a type stub or "py.typed" module.
Enhancement: Added support for explicit specialization of generic type aliases that include a ParamSpec.
Bug Fix: Fixed bug that resulted in the import resolution paths retrieved from the currently-selected Python interpreter to omit the working directory if it happens to be in the "sys.path" list.
Bug Fix: Fixed bug in specialization of callable type where the return type includes the expansion (unpacking) of a variadic type variable.
Enhancement: Improved handling of x in y
type guard to handle the case where y
is a tuple.
Bug Fix: Fixed a bug that caused type narrowing to fail in certain cases when the "X in Y" type guard pattern was used.
Bug Fix: Fixed bug that resulted in false positive when a variable was modified in a loop that employed conditional type narrowing and was also used as a member access expression.
Bug Fix: Fixed a bug whereby an explicit TypeAlias definition that includes a generic type with no explicit type arguments was not assuming Unknown
for those type arguments. For example, A: TypeAlias = list
should assume that A
is equivalent to list[Unknown]
.
Enhancement: Added a missing diagnostic for an attempt to specialize a class that has already been specialized. This can occur in the case of a type alias, such as A = list[int], A[int]
.
Enhancement: Added code to support __qualname__
in class definitions.
Bug Fix: PEP 484 indicates that Type[Any]
should be interpreted as equivalent to type
, but the previous code was treating it as Any
.
Enhancement: Added error check for the use of a generic class as a metaclass.
Bug Fix: Fixed a bug that resulted in a false positive error when a dictionary literal was passed to a constructor of a generic subclass of dict.