Enhancement: Improved type narrowing of subject expression in a match statement when none of the case statements match the pattern and the code falls through the bottom of the match.
Enhancement: Added support for pattern matching exhaustion detection in cases where there is not an explicit irrefutable pattern present.
Bug Fix: Fixed recent regression that resulted in false positive errors when attempting to instantiate tuple or type directly.
Enhancement: Improved type checking for classes that are assigned to Callable types. Previously, type incompatibilities were not reported if the __init__ or __new__ methods were overloaded within the class.
Bug Fix: Fixed bug that caused parser error when handling a carriage return within a triple-quoted inner string within an outer triple-quoted f-string.
Bug Fix: Fixed bug that resulted in false positive error when second argument to NewType call contained a Type object.
Bug Fix: Fixed recent regression that resulted in a false positive error when instantiating a variable of type Type[T] where T was a protocol class.
Bug Fix: Fixed bug in type printer that resulted in double parentheses around return type expressions when they involved unions.
Bug Fix: Fixed bug that resulted in a false positive error when using generic Type[T] in a function parameter in overload validation.
Bug Fix: Fixed bug in type checker relating to constrained type variables that combine non-union and union constraints.
Bug Fix: Fixed bug in type checker when handling Final variables assigned at the class level. PEP 591 indicates that they should be treated as though they are annotated as ClassVar even though they are not.
Bug Fix: Fixed a bug in the type checker relating to the use of a specialized generic class that is parameterized by a ParamSpec.