New Feature: Type checker now honors type annotations on *args and **kwargs function parameters.
New Feature: Changed the way assignments are handled when the target of the assignment has a declared type. The type checker now uses the source (RHS) of the assignment to constrain the declared type if it is a union.
Bug Fix: Unbound or potentially-unbound variables are once again flagged as such.
Bug Fix: Fixed type inference for instantiation of generic class based on arguments passed to its constructor or init routine.
Bug Fix: Fixed several bugs relating to list comprehension type analysis.
Bug Fix: Fixed code flow analysis logic for for/else statements.
Bug Fix: Arguments with a literal type need to be "genericized" before performing type var matching on generic functions.
Bug Fix: Literal types with a value of 0 or empty string were not being printed as a literal in error messages.
Bug Fix: Fixed another bug in the datetime.pyi typeshed stub file relating to the datetime.combine method.
Bug Fix: Fixed a bug in the builtins.pyi typeshed stub file in the tuple.__add__ method. It required that the parameter be of the same tuple type.