GitHub
09/12/2026, 9:30 PMLiteral fixes for diagnostics flagging invalid type annotations (#28185)
• Add await fixes for redundant conditions (#28169)
• Add assert_never fixes for redundant final elif branches (#28178)
• Add defensive assertion fallback for redundant elif fixes (#28179)
• Add rules to detect always-truthy and always-falsy conditions (#28034)
• Preserve deprecations on decorated callables (#28256)
• Require a direct dependency for reveal_type backport fixes (#28177)
• Suggest variable-length tuple annotations for redundant conditions (#28168)
Core type checking
• Align TypeIs and isinstance narrowing (#28193)
• Avoid falling back to Unknown when collecting type context constraints (#28297)
• Ensure f is identity(f) evaluates to Literal[True] (#28360)
• Fix callable specialization with union-valued ParamSpec (#28085)
• Infer variance through recursive protocols (#28077)
• Narrow types with ordered length comparisons (#28264)
• Preserve gradual type context during generic call inference (#28091)
• Preserve nominal subtyping for top-materialized protocols (#28271)
• Preserve outer type variables during ParamSpec inference (#28306)
• Preserve protocol intersections when narrowing gradual types (#28391)
• Promote literals in nested (non-covariant) positions (#28389)
• Reject missing attributes on type[] aliases (#28267)
• Solve formal unions using constraint-sets (#28312)
• Sync vendored typeshed stubs (#28331). Typeshed diff
Performance
• Avoid unnecessary work when building specializations (#28369)
• Bypass materialization queries for simple types (#28367)
• Cache exception suppression for context managers (#28376)
• Intern statement call predicates (#28373)
• Lazily compute argument-context specializations (#28378)
• Pre-size packed AST index chunks (<htt…
meltano/sdkGitHub
09/15/2026, 12:37 AM