Bug Fix: Fixed bug in handling of __slots__. Entries listed in __slots__ apply only to instance variables, not to class variables.
Bug Fix: Fixed false positive error with reportUnnecessaryComparison diagnostic rule when one of the two operands is type or Type[Any] and the other is a class.
Bug Fix: Fixed false positive when using a generic type alias that refers to a class with a __getitem__ method.
Enhancement: Implemented support for type guards that based on "aliased conditional expressions". For details and examples, refer to https://github.com/microsoft/pyright/blob/main/docs/type-concepts.md#aliased-conditional-expression.
Bug Fix: Fixed a bug that caused a false positive error under certain circumstances where a function return type annotation referred to a forward-declared symbol and from __future__ import annotations was in effect.
Enhancement: Added error for an attempt to call a module, which generates an exception at runtime.
Bug Fix: Fixed bug related to ParamSpec specialization when the signature has zero parameters.
Behavior Change: Changed type completeness report (the "--verifytypes" feature) to exempt symbols that derive from "slots" entries.
Enhancement: Improved isinstance type narrowing when the original type is a generic class with a TypeVar as a type argument and the second argument to isinstance is a generic subclass of the original type. The type argument is now properly retained.