Bug Fix: Fixed bug in diagnostic check for contravariant type variables used in a return type annotation that resulted in a false negative.
Enhancement: Added minimal support for * and ** parameter annotations within function annotation comments.
Behavior Change: Modified algorithm for invariant union type assignments to avoid n^2 behavior.
Bug Fix: Fixed a false positive error that occurs when a class uses itself as a type argument for one of its base classes and that base class uses a bound type variable.
Enhancement: Added logic to skip the normal __new__ constructor evaluation if the class is created by a metaclass with a custom __call__ method.
Bug Fix: Fixed bug in TypedDict type narrowing (for containment of non-required fields) that resulted in a false positive error when a narrowed type was later used.
Bug Fix: Fixed bug in type variable constraint solver that resulted in a confusing false positive error in circumstances involving contravariant type variables (e.g. when dealing with callback protocols) and a combination of Type[T] and T within the callback signature.
Enhancement (from pylance): Improved formatting of doc strings in tool tips.