Bug Fixes:

• (from Pylance): Fixed a bug that caused a crash under certain circumstances when an import cannot be resolved.
• Fixed non-compliance issue with TypeIs, which is documented to have an invariant type parameter.
• Fixed a bug that results in incorrect type evaluation when a sequence pattern in a match statement includes a * element and the subject includes a tuple with an element with indeterminate length.
• Fixed bug that results in an intermittent false positive "circular dependency" error for fields within a dataclass.
• Fixed a bug that results in a false positive error under certain circumstances when a TypeVar or TypeVarTuple is being solved with literal values in both an invariant and non-invariant context.
• Fixed bug that results in incorrect type evaluation in cases where a generic function returns a callable, and the function is called with a higher-order generic function as an argument.
• Fixed a bug that results in a false negative when a generic function returns a Callable type that is specialized to include a live (in-scope) type variable.
• Fixed bug that results in inconsistent type narrowing on assignment based on whether the assignment occurs within the same statement that includes the (declared) type annotation for the variable and whether the type annotation is provided as a type comment.

Enhancements:

• Added optimization for TypedDict type assignments. Under certain circumstances (e.g. when comparing large unions of TypedDict types), this can save significant time.
• Modified the handling of enum class attributes so those with private (mangled) names are exempted from being considered enum members. This reflects the runtime behavior.
• Added support for narrowing of subject subexpression within a match statement for references to the subexpression after the completion of the match statement.
• Updated typeshed stubs to the latest version.
• Improved error handling for quoted annotations. Bytes, raw strings, and f-strings are not allowed according to the typing spec.
• Added an error message for a Literal type annotation that includes a string with a named unicode escape sequence. These are not supported.