Bug Fix: Fixed bug that affected the use of the tuple constructor. It was not properly updating the variadic type arguments. This resulted in false negatives for the resulting type.
Bug Fix: Fixed bug that resulted in false negatives because diagnostics generated while analyzing a constructor call were suppressed.
Enhancement: Improved stub generator to print "x = ..." rather than include the RHS expression if x is not a type alias.
Enhancement: Added special-case handling for assignments of the form x: List[A] = [a] * y (the multiply operator on a list). This specific idiom is commonly used to initialize a list with None values.
Performance: Added perf improvements that help when dealing with unions that contain many tuples. Improved TypeVar constraint solver to better handle the case where a type is widened to include hundreds of subtypes, thus grinding performance to a halt. This occurs in one of the modules in pytorch.
Enhancement: Rewrote package type verifier based on feedback from users. Its error messages are now much clearer, it distinguishes between "exported symbols" and "other referenced symbols", it properly handles properties, and it omits warnings about missing docstrings by default (can be overridden with "--verbose" setting).
Bug Fix: Fixed bug that resulted in incorrect type evaluation for a constructor call when the class's __new__ method returns an instance of a different class.