Bug Fix: Fixed type evaluation bug where Callable is used to annotate an input parameter, and the Callable return type is a union that contains a type variable and the type variable is used within a nested function.
Bug Fix: Fixed bug in "isinstance" type narrowing logic and in the "unnecessary isinstance" diagnostic check when the type being narrowed is a runtime-checkable protocol instance.
Bug Fix: Fixed bug in type evaluator that resulted in a false positive error when a __getattr__ was supplied in a metaclass, and it returned a generic callable type.
Enhancement: Added validation for assignment of instance variables that are not declared in __slots__.
Enhancement: Added check for class variables that conflict with an instance variable declared in __slots__ within a class.
Behavior Change: When displaying overloaded functions in hover text, filter out the implementation signature.
Bug Fix: Fixed bug in code flow engine that caused incorrect type evaluation of complex expression that appears multiple times within a function in contexts where isinstance type narrowing generates different types for the same expression.