chore(deps): update dependency ty to v0.0.79

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.72 → ==0.0.79

---

Release Notes

astral-sh/ty (ty)

v0.0.79

Compare Source

Released on 2026-09-07.

Bug fixes

• Avoid dict keyword-call panics when typing is shadowed (#​28292)
• Discover configs in models derived from legacy generic classes (#​28397)
• Normalize recursive collection-use constraints (#​28332)
• Recover cycles when constructing known class instances (#​28289)

CLI

• Embed archive checksums in the shell installer (#​4458)

Diagnostic improvements

• Add Literal 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 (#​28372)
• Reduce repeated work in use-def merges (#​28365)
• Skip decorator flags query for undecorated methods (#​28338)

Memory usage improvements

• Avoid caching simple type specializations (#​28333)
• Box cached MRO error details (#​28351)
• Reuse generic aliases as MRO query keys (#​28350)
• Reuse interned bound method signatures (#​28346)
• Reuse stored function signatures without caching duplicates (#​28347)
• Share retained use-def tables across scopes (#​28313)
• Store single narrowing operations inline (#​28345)
• Store uncommon signature metadata out of line (#​28339)

Other changes

• Declare support for Python 3.15 (#​4476)

Contributors

• @​carljm
• @​sharkdp
• @​charliemarsh-oai
• @​zsol
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood

v0.0.78

Compare Source

Released on 2026-09-02.

Bug fixes

• Defer decorator-call diagnostics to avoid recursive-default cycles (#​28226)
• Make cyclic intersection simplification deterministic (#​28156)
• Stabilize cyclic terminal-call reachability (#​28216)

Preview features

• Refresh uv workspace metadata when dependencies change (#​28224)

Diagnostics

• Add a new disjoint-cast rule (#​28129)
• Report deprecated property accessors on intersections (#​28250)
• Report deprecations for implicit constructor calls (#​28251)
• Report deprecations for overloads, operators, and properties (#​28134)
• Respect overload selection in deprecation diagnostics (#​28148)

Core type checking

• Fix negative narrowing for protocols with gradual members (#​28198)
• Preserve ParamSpec bindings inferred against type context (#​28084)
• Preserve generic protocol materialization relations (#​28246)
• Preserve uncertain branches during quantification (#​28211)
• Respect type variables in top/bottom materializations of invariant generics (#​28072)
• Sync vendored typeshed stubs (#​28217). Typeshed diff
• Treat captured bound-method receivers covariantly (#​28180)
• Unsound intersection simplification for generic iterables (#​28068)
• Validate type variable scopes in constructors and aliases (#​28130)
• lambda functions are always truthy (#​28254)

Performance

• Optimize materialized recursive protocol comparisons (#​28079)
• Optimize recursive protocol checks for nested type variables (#​28257)

Contributors

• @​charliermarsh
• @​sharkdp
• @​zsol
• @​AlexWaygood
• @​ibraheemdev
• @​carljm

v0.0.77

Compare Source

Released on 2026-08-31.

Bug fixes

• Bound recursive protocol traversal in generic intersections (#​28215)
• Preserve recursion guards across nested type operations (#​28150)
• Preserve syntax and comments when removing redundant casts (#​28145)
• Stabilize recursive receiver inference (#​28042)
• Stabilize condition truthiness during cyclic inference (#​28212)

Core type checking

• Preserve generic receivers in implicit __init_subclass__ calls (#​28138)
• Preserve specialization for inherited TypedDict methods (#​28111)
• Propagate deletions through nested loop headers (#​28044)

Performance

• Avoid repeated inference for literal union call results (#​28196)

Contributors

• @​charliermarsh
• @​carljm

v0.0.76

Compare Source

Released on 2026-08-31.

Preview features

• Add a missing-direct-dependency rule (#​28001)
• Cancel superseded queued uv requests (#​28108)
• Check direct dependencies in PEP 723 scripts (#​28136)
• Fix Goto definition in script dependencies (#​27747)
• Move script environment initialization to the CLI and LSP (#​28038)
• Refresh uv project metadata in the background (#​27933)
• Synchronize PEP 723 script environments in the language server (#​27619)
• Warn when uv metadata cannot support dependency checks (#​28133)

Bug fixes

• Avoid panics on incomplete protocol type parameter lists (#​28088)
• Fix auto-completion panic involving bare declarations (#​28191)
• Guard recursive meta-type expansion (#​28143)
• Preserve parentheses when removing redundant casts (#​28092)

LSP server

• Add "Find references" support for pytest fixtures (#​28075)
• Highlight PEP 723 script metadata as TOML (#​27746)
• Synchronize saved script metadata on open (#​27873)

Core type checking

• Apply mixin specialization when validating enum members (#​28101)
• Bind Self through generic type aliases (#​28117)
• Infer lambda parameters through callable type aliases (#​28109)
• Intersection simplifications with subtype-related generic specializations (#​26880)
• Invalidate member narrowing across loop iterations (#​28009)
• Narrow functional enum members in == and match (#​28103)
• Only treat recursive types with unbounded specializations as fallback cycles (#​27538)
• Preserve Final variance in stubs (#​28119)
• Preserve inferred types for unknown class-decorator results (#​28067)
• Preserve list literal positions in starred unpacking (#​28061)
• Preserve short-circuit reachability for direct conditions (#​28082)
• Preserve type variables in bounded generic defaults (#​28122)
• Reject circular type alias definitions (#​28140)
• Reject class access to generic instance attributes (#​28123)
• Use the subclass receiver when checking method overrides (#​28124)
• Validate declared variance in method signatures (#​28116)

Performance

• Avoid cubic narrowing with repeated assignments and context managers (#​27787)
• Avoid repeated traversal of shared alias arguments (#​28147)
• Reject impossible eager protocol comparisons early (#​28081)

Contributors

• @​AlexWaygood
• @​MichaReiser
• @​charliermarsh
• @​BitWeaverDev
• @​gorewilliams
• @​zsol
• @​malkin0xb8
• @​sharkdp
• @​mtshiba
• @​carljm
• @​lerebear
• @​jamtat

v0.0.75

Compare Source

Released on 2026-08-26.

Preview features

• Initialize PEP 723 script environments in the CLI (#​27544)
• Refresh PEP 723 script environments in watch mode (#​27617)
• Run PEP 723 script synchronization on bounded workers (#​27615)

Bug fixes

• Specialize Self bounds of inherited methods (#​27990)

LSP server

• Add "Go to Definition" support for pytest fixtures (#​27444)

Documentation

• Fix documented Python package build command (#​4384)
• Link untyped-call tracking issue in migration guide (#​4382)

Library support

• Resolve imported pytest fixture exposures (#​27539)
• Resolve installed core pytest fixture providers (#​27770)
• Resolve pytest fixtures through conftest (#​27540)

Diagnostics

• Add more autofixes (#​28029)
• Add a dedicated missing-slot diagnostic (#​28039)
• Explain missing storage for declared slotted attributes (#​27969)
• Improve diagnostic spans for unpacked variable assignments (#​28041)

Core type checking

• Account for known subclasses in equality inference (#​28005)
• Expand ParamSpec signatures inferred from bound receivers (#​28020)
• Fix Self binding in ParamSpec protocols (#​28016)
• Fix TypedDict variance inference (#​28052)
• Fix unsound narrowing through branch-assigned conditions (#​28006)
• Ignore inconsistent binding decorators on overloads (#​28036)
• Infer yield from send/return types from the iterator returned by __iter__ (#​27987)
• Infer tuple type parameters from union arguments (#​28062)
• Infer variance through nonrecursive protocol references (#​28065)
• Preserve bounds of non-literal metaclasses (#​28046)
• Preserve correlated generic-call inference (#​28043)
• Preserve invariant materialization constraints (#​28047)
• Recover bare TypeVarTuples in tuple annotations (#​27950)
• Reject fixed tuples for non-inferable TypeVarTuples (#​27943)
• Reject incompatible constructor context for variadic packs (#​27966)
• Support mixed gradual tuple assignability with TypeVarTuple (#​27957)
• Support tagged union with multiple tags per type (#​27984)
• Sync vendored typeshed stubs (#​28035). Typeshed diff
• Treat typing.Union as a class on Python 3.14+ (#​28003)
• Validate generic protocol variance (#​27531)
• collections.abc.Callable is an instance of type (#​27991)

Contributors

• @​sharkdp
• @​jelle-openai
• @​marcelo-souzaf
• @​AlexWaygood
• @​krzkaczor
• @​carljm
• @​charliermarsh
• @​lerebear
• @​MichaReiser

v0.0.74

Compare Source

Released on 2026-08-22.

Bug fixes

• Avoid duplicate bindings in multi-target assignments (#​27938)
• Avoid panic on unpacked kwargs in string annotations (#​27963)
• Fix stack overflow in recursive TypedDict dictionary compatibility (#​27951)
• Handle assignment expressions in string annotations (#​27921)
• Handle dynamic classes in string annotations (#​27883)
• Preserve string annotation context in lambda defaults and TypedDict types (#​27914)
• Skip invalid subscript arguments in string annotations (#​27917)
• Skip invalid subscript operands in string annotations (#​27882)

LSP server

• Add untrustedWorkspace option to the LSP (#​27828)
• Add executable discovery to the server command (#​27806)
• Handle file-valued workspace folders from Zed (#​27836)
• Skip scripts with an invalid PEP 723 configuration (#​27505)
• Support pull diagnostics for notebook cells (#​27778)

Documentation

• Update mypy/pyright comparison table (#​4165)

Diagnostics

• Add an opt-in unsound-assignment rule for variables (#​27874)
• Fix variadic signature display (#​27869)
• Highlight declarations in invalid-assignment diagnostics (#​27872)
• Improve LiteralString suggestions in string annotations (#​27931)
• Use invalid-type-form for non-generic class annotations (#​27889)

Core type checking

• Add bounded constraint solution projections (#​27949)
• Fix invariant gradual tuple materialization ranges (#​27946)
• Guard recursive constructor bindings by receiver (#​27958)
• Preserve all alternatives in bounded intersections (#​27898)
• Preserve keyword safety for unpacked callables (#​27517)
• Preserve source protocol members and classify finite aliases (#​27772)
• Preserve type-variable order when reloading constraints (#​27904)
• Propagate narrowing through statically known branches (#​27752)
• Recognize ABC metaclass methods on protocols (#​27897)
• Support __slots__ (#​27730)

Performance

• Lazily infer function parameter default types (#​27857)
• Optimize inherited recursive protocol comparisons (#​27922)
• Traverse shared constraint source-order nodes once (#​27947)

Contributors

• @​carljm
• @​lerebear
• @​charliermarsh
• @​dhruvmanila
• @​AlexWaygood
• @​MichaReiser
• @​jelle-openai

v0.0.73

Compare Source

Released on 2026-08-18.

LSP server

• Do not prefer unsafe fixes in the language server (#​27822)
• Fix signature help in trailing whitespace (#​27784)

Library support

• Preserve variadic generics in functools.partial (#​27774)

Diagnostics

• Add an opt-in rule flagging function decorators that transform a non-dynamic type into a dynamic type (#​27829)
• Disambiguate same-named types in several diagnostics (#​27814)
• Show error spans for errors originating in script metadata (#​26693)

Core type checking

• Avoid bypassing solver during literal promotion (#​27763)
• Expand nested union aliases when finding a TypedDict or callable (#​27740)
• Implement intersection meta-type projection (#​27660)
• Infer generic protocols from class objects (#​27812)
• Model exception-suppressing context managers (#​27219)
• Preserve TypeAliasType runtime origin (#​27813)
• Preserve class objects in lazy protocol checks (#​27815)
• Preserve declared types in exception handlers (#​27817)
• Preserve explicit globals after conditional rebinding (#​27786)
• Preserve property subclass types and accessors (#​27833)
• Preserve required stub fields in generated constructors (#​27765)
• Preserve static upper bounds of gradual solutions (#​27664)
• Prevent unrelated quantified constraints from destabilizing recursive queries (#​27737)
• Separate generic constraint accumulation from legacy projection (#​27743)
• Simplify generic protocol inference (#​27819)
• Specialize inherited members of unspecialized generic classes (#​27658)
• Specialize type variables determined by bound receivers (#​27732)
• Support unpacking tuple type aliases (#​27825)
• Sync vendored typeshed stubs (#​27771). Typeshed diff

Performance

• Cache py.typed contents (#​27805)
• Deduplicate exception checkpoints across equivalent branches (#​27703)

Contributors

• @​charliermarsh
• @​AlexWaygood
• @​MichaReiser
• @​augustelalande
• @​carljm
• @​woodruffw
• @​dhruvmanila
• @​ibraheemdev
• @​zaniebot

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • Between 12:00 AM and 03:59 AM, only on Monday (* 0-3 * * 1)
• Automerge
  • At any time (no schedule defined)

🚦 Automerge: Disabled by config. Please merge this manually once you are satisfied.

♻ Rebasing: Whenever PR becomes conflicted, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[renovate]

⚠️ Artifact update problem

Renovate failed to update an artifact related to this branch. You probably do not want to merge this PR as-is.

♻ Renovate will retry this branch, including artifacts, only when one of the following happens:

• any of the package files in this branch needs updating, or
• the branch becomes conflicted, or
• you click the rebase/retry checkbox if found above, or
• you rename this PR's title to start with "rebase!" to trigger it manually

The artifact failure details are included below:

File name: uv.lock

Command failed: uv lock --upgrade-package ty
Using CPython 3.14.6 interpreter at: /opt/containerbase/tools/python/3.14.6/bin/python3.14
  × No solution found when resolving dependencies:
  ╰─▶ Because there is no version of ty==0.0.79 and
      dotfiles-agent-tools:typecheck depends on ty==0.0.79, we can conclude
      that dotfiles-agent-tools:typecheck's requirements are unsatisfiable.
      And because your project requires dotfiles-agent-tools:typecheck, we can
      conclude that your project's requirements are unsatisfiable.

hint: `ty` was filtered by `exclude-newer` to only include packages uploaded before 2026-09-01T00:31:19.271599948Z. The requested version, v0.0.79, was published at 2026-09-07T21:51:14.089Z. Consider using `exclude-newer-package` to override the cutoff for this package.