This release includes a significant set of changes to the core type engine that are required to enable the next round of functionality. I've done my best to avoid introducing regressions, but they are possible in a change of this size.
One known regression is that unbound or potentially-unbound variables are no longer flagged in many cases.
New Feature: Added new config switch "reportUnknownParameterType" that reports input and return parameters with an unknown type.
New Feature: Added new config switch "reportUnknownVariableType" that reports local variables with an unknown type.
New Feature: Added new config switch "reportUnknownMemberType" that reports class members (instance variables and class variables) with an unknown type.
New Feature: Further improved logging to diagnose import failures.
New Feature: Added "strict mode" that can be enabled on a per-file basis by adding the comment "# pyright: strict". This enables all type-checking configuration flags for that file.
New Feature: Added support in type check engine for expression type constraints involving the "or" operator.
Bug Fix #91: Added code to convert file specs passed to command-line from relative to absolute.
Bug Fix: Added code path lookups for both "lib" and "Lib" within virtual environment to accommodate capitalization convention on Windows.
Bug Fix: Removed limitation that type annotation strings not use bytes, unicode or raw strings.