Bug Fix: Fixed regression were diagnostics reported for constructor argument expressions were being suppressed.
Bug Fix: Fixed bug that was causing "self is unknown type" errors in strict mode for "self" parameters used within a protocol class.
Enhancement: Added support for arbitrary expressions in decorators for Python 3.9 and newer as specified in PEP 614.
Enhancement: Implemented provisional "TypeGuard" functionality that allows for user-defined type guard functions. This must still go through a spec'ing and ratification process before it is finalized. Until then, details could change.
Enhancement: Added diagnostic messages for incorrect use of contravariant type variable as a method return type or a covariant type variable as a method parameter.
Bug Fix: Added missing comparison operator methods (__eq__, __lt__, etc.) for dataclass.