Bug Fix: Fixed false positive error when a class used within as a TypeVar bound argument is a "pseudo generic" class, one whose constructor is unannotated.
Bug Fix: Changed type evaluator to elide NoReturn from union generated from or or and operator.
Enhancement: Improved error handling for the Generic special form. Eliminated false positive error when Generic is used in certain legitimate ways within a function.
Enhancement: Improved error messages for call expressions that involve overloaded functions.
Enhancement: Implemented optimization that reduces analysis time and memory usage by generating a diagnostic message (which often involve converting types to a textual representation) only if the caller is interested in the diagnostic message.
Enhancement: Added support for "Self" type documented in draft PEP: https://docs.google.com/document/d/1ujuSMXDmSIOJpiZyV7mvBEC8P-y55AgSzXcvhrZciuI/edit.
Enhancement: Added support for trace logging of type evaluation from the command line when both --stats and --verbose are specified.
Bug Fix: Fixed bug that resulted in the incorrect type evaluation when a property was defined on a metaclass and accessed through a class with that metaclass.