Enhancement: Extended conditional types to function and constructor calls where one or more arguments is a conditional type.
Bug Fix: Fixed a bug that resulted in incorrect type inference when assigning () to a variable with an explicit type declaration of tuple[()].
Bug Fix: Fixed bug that results in incorrect type evaluation when an if statement is not paired with an else and the condition expression uses a not paired with an and or or.
Bug Fix: Fixed bug that caused a class that derives from NamedTuple to not conform to the Hashable protocol.
Behavior Change: Changed override detection to always use an overload implementation if present.
Behavior Change: Fixed bug that caused symbols in unreachable code to be ignored in "Rename Symbol" and "Find all References" operations.
Bug Fix: Fixed bug that resulted in a false positive when cls was used as an argument to a dynamic type creation call.
Enhancement: Improved error message for overload that doesn't match its implementation.
Bug Fix: Added code to avoid an attempt to analyze a function if its code flow complexity is too high. This reduces the likelihood of a stack overflow within the type evaluator. If a function or module is too complex, a diagnostic is now emitted to tell the developer that full analysis is suspended for that execution scope.
Bug Fix: Improved reportIncompatibleMethodOverride diagnostic check, including fixes for a few false positives and false negatives and improvements to diagnostic messages.