Bug Fix: Fixed recent regression that resulted in false positive errors when a class declaration used both Type[X] and X in its specialization of base classes.
Bug Fix: Fixed false positive error related to isinstance narrowing of a non-constrained TypeVar.
Bug Fix: Changed encoding of literals in error messages to avoid including raw (unescaped) special characters in output.
Behavior Change: Increased maximum source file size from 16MB to 32MB.
Enhancement: Improved formatting of error messages that include expressions — specifically when the expression includes an empty dict ("{}").
Bug Fix: Fixed false positive error for the case where a function with positional/keyword parameters is assigned to a callback protocol that accepts only keyword parameters.
Enhancement: Added support for member access expressions for the None object.
Enhancement: Added support for isinstance and issubclass type narrowing where the variable type and the test type have no apparent relationship. The type evaluator synthesizes a class that is a subclass of both types — effectively an "intersection" of the two.
Behavior Change: Modified reportUnnecessaryIsInstance diagnostic to never report always-false conditions because the type checker no longer generates such conditions.