⬆️ deps: Update Python dev dependencies

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ruff (source, changelog)	>=0.15.15 → >=0.15.16
ty (changelog)	>=0.0.40 → >=0.0.44

---

Release Notes

astral-sh/ruff (ruff)

v0.15.16

Compare Source

Released on 2026-06-04.

Preview features

• [flake8-async] Implement yield-in-context-manager-in-async-generator (ASYNC119) (#​24644)
• [pylint] Narrow diagnostic range and exclude cases without exception handlers (PLW0717) (#​25440)
• [ruff] Treat yield before break from a terminal loop as terminal (RUF075) (#​25447)

Bug fixes

• [eradicate] Avoid flagging ruff:ignore comments as code (ERA001) (#​25537)
• [eradicate] Fix ERA001/RUF100 conflict when noqa is on commented-out code (#​25414)
• [pyflakes] Avoid removing the format call when it would change behavior (F523) (#​25320)
• [pylint] Avoid syntax errors in invalid character replacements in f-strings before Python 3.12 (PLE2510, PLE2512, PLE2513, PLE2514, PLE2515) (#​25544)
• [pyupgrade] Avoid converting format calls with more kinds of side effects (UP032) (#​25484)

Rule changes

• [flake8-pytest-style] Avoid fixes for ambiguous argnames and argvalues combinations (PT006) (#​24776)

Performance

• Drop excess capacity from statement suites during parsing (#​25368)

Documentation

• [pydocstyle] Improve discoverability of rules enabled for each convention (#​24973)
• [ruff] Restore example code for Python versions before 3.15 (RUF017) (#​25439)
• Fix typo bin/active → bin/activate in tutorial (#​25473)

Other changes

• Shrink additional parser AST collections (#​25465)

Contributors

• @​Redslayer112
• @​koriyoshi2041
• @​George-Ogden
• @​TejasAmle
• @​anishgirianish
• @​ntBre
• @​MichaReiser
• @​loganrosen
• @​RafaelJohn9
• @​adityasingh2400

astral-sh/ty (ty)

v0.0.44

Compare Source

Released on 2026-06-04.

Bug fixes

• Avoid treating sys.implementation.version like sys.version_info (#​25608)
• Fix anchor point for override diagnostics (#​25621)

LSP server

• Show type alias value on hover (#​25381)

Performance

• Add caching for pattern match narrowing (#​25613)
• Compact retained definition and expression identities (#​25606)
• Reuse expression cache for TypedDict union inference (#​25643)
• Upgrade Salsa (#​25545)

Core type checking

• Enable narrowing for unions of TypedDict (#​25188)

Contributors

• @​lerebear
• @​MichaReiser
• @​carljm
• @​pierrem964
• @​charliermarsh
• @​Hugo-Polloli

v0.0.43

Compare Source

Released on 2026-06-03.

Bug fixes

• Don't inject Unknown from non-callable elements of intersection call (#​25538)
• Don't needlessly disambiguate the same type alias (#​25563)
• Fix variance inference for nested type aliases (#​25567)
• Ignore rejected member annotations for synthesized bindings (#​25427)
• Normalize dynamic class literals in cycle recovery (#​25558)
• Register file roots for first-party search paths (#​25522)
• Treat union-bound typevars like unions for possibly-missing-attribute (#​25561)

LSP server

• Suppress importable completions that are already in scope (#​25479)

Performance

• Avoid retaining duplicate function signatures (#​25609)
• Compact retained definition inference results (#​25593)
• Compact retained definition kinds (#​25610)
• Compact retained definitions by node (#​25498)
• Consolidate AST ID reverse lookup (#​25455)
• Consolidate retained use-def definition maps (#​25499)
• Omit redundant definitions-by-node entries (#​25501)
• Reuse common protocol constraints for TypedDict unions (#​25598)

Diagnostics

• Improve error context for not-iterable diagnostics (#​24944)

Core type checking

• Detect disjointness due to incompatible generic specializations (#​24822)
• Distinguish typing.Callable from collections.abc.Callable (#​24954)
• Include nested global/nonlocal bindings in type inference (#​25387)
• Optional lower/upper bounds in individual constraints (#​25435)
• Preserve slice-bound types in subscript inference (#​25446)
• Reject Self in type aliases (#​25529)
• Require literal booleans for TypedDict flags (#​25594)
• Support narrowing on lengths (#​25347)
• Synthesize precise __len__ methods for literals (#​25600)
• Use callable type context to implicitly specialize generic class (#​25471)
• expand type aliases inside type context unions (#​25553)

Contributors

• @​carljm
• @​cheparity
• @​kouhe3
• @​sharkdp
• @​charliermarsh
• @​dcreager
• @​thejchap
• @​oconnor663

v0.0.42

Compare Source

Released on 2026-06-01.

Bug fixes

• Fix narrowing of enum literal unions by member identity (#​25520)
• Detect recursive expansion in constraint-set solving (#​25442)

Core type checking

• Support tagged-union narrowing for nominal types (#​24916)
• Extend Generator assignability workaround to Python 3.13+ (#​25472)
• Sync vendored typeshed stubs (#​25514). Typeshed diff

Performance

• Avoid redundant work for empty collection context (#​25527)
• Deduplicate retained use-def place states (#​25450)
• Compact retained semantic maps (#​25238)

Contributors

• @​aholyoke
• @​carljm
• @​charliermarsh
• @​sharkdp

v0.0.41

Compare Source

Released on 2026-05-31.

Bug fixes

• Avoid panic for deferred dataclass field annotations (#​25444)
• Avoid panic from cycle in function decorator inference (#​25475)
• Ignore rejected assignments for synthesized bindings (#​25340)
• Infer bool for not applied to dynamic values (#​25445)
• Use diagnostic message as tie-breaker when sorting (#​25424)

LSP server

• Add call hierarchy support (#​25338)
• Add function parentheses completion (#​25305)
• Display docs for matching parameter when hovering over the name of an argument passed by keyword (#​25283)
• Document completeFunctionParentheses editor setting (#​3513)

Diagnostics

• Introduce opt-in missing-override-decorator rule (#​25111)
• Improve diagnostics for syntax errors in forward annotations (#​25158)
• Improve diagnostic for failed assignment to a Callable type (#​25308)

Core type checking

• Narrow bound method overloads by receiver (#​24707)
• Add disjointness for protocol method members (#​25315)
• Avoid treating metaclass declarations as populated values (#​25432)
• Use TypeForm in ty_extensions (#​25421)

Performance

• Avoid storing redundant reachability indexes (#​25453)
• Compact retained semantic arrays (#​25454)
• Remove excess capacity from more Salsa cached collections (#​25411)
• Use compact sets for more immutable fields (#​25476)
• Use ThinVec for sparse kwargs bindings (#​25457)

Contributors

• @​sharkdp
• @​charliermarsh
• @​lerebear
• @​AlexWaygood
• @​MichaReiser
• @​mhuen
• @​jelle-openai

---

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: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

👻 Immortal: This PR will be recreated if closed unmerged. Get config help if that's undesired.

---

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

---

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