Bug Fix: Fixed bug that led to an incorrect type evaluation (and potential false negative) when an iterable iterates over an unpacked TypeVarTuple.
Bug Fix: Enabled the Never
type to be used as an explicit type argument for a contravariant parameter.
Bug Fix: Fixed a bug in the type printing logic where it omitted a Union
when an unpacked TypeVarTuple
is used within a Union
.
Bug Fix: Fixed a bug that resulted in incorrect type evaluation when the type arguments for a tuple included an unpacked TypeVarTuple. In this case, the type argument should be treated as a Union[*Ts]
rather than *Ts
.
Bug Fix: Fixed a bug that resulted in a false positive for the reportIncompatibleMethodOverride
check when the base method used an unpacked tuple
for the *args
parameter and the override used specific parameters.
Bug Fix: Fixed a bug that resulted in a false negative when a non-frozen dataclass subclasses from a frozen dataclass. This generates a runtime error, so it should be flagged by the type checker.
Bug Fix: Fixed a bug that resulted in a false positive error related to type narrowing in a match
statement when matching against an enum with only one value.