GitHub
08/05/2026, 9:36 PMisinstance narrowing for generic classes is now more gradual by default (#27308)
This new behavior is more similar to what other major type checkers do. For example:
def f(xs: object):
if isinstance(xs, list):
reveal_type(xs) # now: list[Unknown], before: Top[list[Unknown]]
Note: you might consider enabling `analysis.strict-generic-narrowing`
if you prefer the strictly correct behavior.
Contributors
• @sharkdp
`v0.0.68`
Compare Source
Released on 2026-08-05.
Diagnostics
• Preserve property getter call errors (#27509)
• Simplify numeric tower displays (e.g., float over int | float) (#27406)
• Suggest closing open TypedDict types for Mapping compatibility (#27512)
Core type checking
• Avoid double inference of Unpack operands in Union (#27525)
• Fix panic from mismatched OR-pattern bindings (#27533)
Contributors
• @AlexWaygood
• @charliermarsh
• @carljm
`v0.0.67`
Compare Source
Released on 2026-08-05.
LSP server
• Fix unused hints for OR-pattern captures (#27438)
• Index match-pattern bindings as symbols (#27260)
• Retain typing-only symbols in explicit completions (#27435)
Diagnostics
• Preserve called types in intersection diagnostics (#27475)
• Suppress unimported-reveal diagnostics in stub files and if TYPE_CHECKING blocks (#27508)
Configuration
• Remove deprecated src.root setting in favor of environment.root (#27456)
Core type checking
• Check property compatibility when matching class objects to protocols (#27402)
• Fix constructor calls on narrowed type-variable intersections (#27493)
• Fix specialization cycle with deferred TypeVar defaults (#27453)
• Infer generic TypedDicts from unpacked TypedDicts (#27439)
• Infer generic TypedDicts through synthesized constructor signatures (#27436)
• Normalize unpacked callable signatures for assignability (#27450)
• Preserve class type parameters through generic decorators (#27442)
• Preserve generic class type variables in constructor inference (#27340)
• Preserve return constraints for object-variadic callables (#27431)
• Preserve return constraints for top callables (#27446)
• Recover generic constructor types from failing overloads (#27460)
• Reject Self with incompatible explicit receiver annotations (<https…
meltano/meltanoGitHub
08/13/2026, 2:45 PM