chore(deps): update dependency ty to >=0.0.80,<0.0.81

[renovate-bot-cbcoutinho]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
ty (changelog)	>=0.0.78,<0.0.79 → >=0.0.80,<0.0.81

---

Release Notes

astral-sh/ty (ty)

v0.0.80

Compare Source

Released on 2026-09-09.

Bug fixes

• Fix --force-exclude for directories with an excluded ancestor (#​28451)
• Preserve metaclass candidates after conflicts (#​28461)

LSP server

• Give existing autofixes descriptive titles (#​28456)
• Prevent LSP hangs during inlay hint bursts (#​28390)

Diagnostic improvements

• Preserve redundant-condition diagnostics with unreachable operands (#​28374)

Core type checking

• Check captured receivers when calling wrapped classmethods (#​28467)
• Fix cached classmethods on generic classes (#​28207)
• Fix disjointness of type guards and boolean literals (#​28363)
• Infer tuple variance from the full tuple spec (#​28446)
• Infer tuple variance more precisely (#​28426)
• Preserve callable identity across specialized types (#​28409)
• Preserve callback type context through ParamSpec forwarding (#​28439)
• Preserve wrapped functions in precise functools.partial relations (#​28460)
• Respect descriptor protocol for __set__ itself (#​28408)
• Respect type-variable bounds in argument context (#​28448)
• Unwrap union alternatives in overload implementations (#​28468)

Performance

• Distribute len inference over unions (#​28470)
• Fast-path concrete literal intersections (#​28348)

Memory usage improvements

• Avoid excess capacity in multi-binding tables (#​28412)
• Share equivalent place tables within a file (#​28319)
• Share names in synthesized constructor parameters (#​28398)

Contributors

• @​sharkdp
• @​charliermarsh
• @​ibraheemdev
• @​AlexWaygood
• @​MichaReiser

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

---

Configuration

📅 Schedule: (in timezone Europe/Amsterdam)

• Branch creation
  • At any time (no schedule defined)
• 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 has been generated by Mend Renovate CLI.

[claude]

Claude finished @renovate-bot-cbcoutinho[bot]'s task in 1m 5s —— View job

---

Review: chore(deps): update dependency ty (Renovate)

• Gather context (Renovate dependency bump for ty)
• Inspect diff (pyproject.toml, uv.lock)
• Check for lockfile inconsistencies beyond the ty bump
• Post review feedback

Summary

This is a mechanical Renovate lockfile bump — only pyproject.toml (the ty version pin) and uv.lock (the corresponding lock entry: version, sdist/wheel URLs and hashes) changed. No application code, tests, or docs touched.

One thing worth noting: the PR description text says >=0.0.79,<0.0.80, but the diff on the branch right now actually bumps to ty>=0.0.80,<0.0.81 (confirmed via git diff origin/master...HEAD). This is expected Renovate behavior — the branch was resynced to a newer ty release after the PR description was generated (this is a synchronize event) — not a bug, just flagging so the version in the description doesn't confuse anyone skimming this PR later. pyproject.toml and uv.lock agree with each other on 0.0.80, so the lockfile itself is internally consistent.

Things to verify in CI (couldn't run locally)

The pyproject.toml comment directly above this dependency (lines ~169-172) states the convention for this repo explicitly: each ty bump should be checked for newly-surfaced diagnostics, and any no-longer-needed # ty: ignore[...] suppressions should be removed. The ty 0.0.79/0.0.80 changelogs do add new diagnostic categories (e.g. always-truthy/always-falsy condition detection, TypeIs/isinstance narrowing changes, protocol/generic inference changes) that plausibly could surface new findings against this codebase.

I wasn't able to execute uv run ty check -- nextcloud_mcp_server myself — Bash tool calls were denied approval in this environment. Since this is exactly the scenario the repo's own convention calls out, please confirm the Tests workflow (run 34437361391) is green — specifically the ty check step — before merging, rather than assuming a clean diff implies a clean type-check.

Verdict

No code-quality, security, or test-coverage concerns — this is dependency-bump debt with no behavioral surface. Safe to merge once CI (ty check in particular) is confirmed green.

[sonarqubecloud]

Quality Gate passed

Issues
0 New issues
0 Accepted issues

Measures
0 Security Hotspots
0.0% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarQube Cloud