Enhancement: Added check for class patterns for special builtin types (like int, float, etc.). These class patterns accept at most a single sub-pattern as an argument, and it must be positional.
Bug Fix: Fixed type compatibility bug that allowed Literal[1] to be assignable to type when it should not be.
Bug Fix: Fixed bug that caused "unnecessary isinstance" check to emit a false positive diagnostic when second argument was Literal[1].
Enhancement: Improved heuristics for determining preferred TypeVar match when matching against a union that includes a TypeVar.
Enhancement: Added provisional support for two-argument form of TypeGuard to support negative narrowing cases.
Bug Fix: Fixed bug in hover provider that caused docstrings not to appear for callable types that were generated from a callable with a ParamSpec.
Bug Fix: Fixed a bug that resulted in a missing type error when a generic function returned a Callable type that used a TypeVar in its parameter types.
Bug Fix: Fixed regression that resulted in a crash under certain circumstances where a finally clause was used in a generic function that used constrained TypeVars.