⬆️🐍 Update dependency ty to v0.0.39

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.34 → ==0.0.39

---

Release Notes

astral-sh/ty (ty)

v0.0.39

Compare Source

Released on 2026-05-22.

This release removes the Python 3.9 branches from our vendored standard library stubs. ty now only has "full" support for
Python 3.10 and later, but will still report version-specific syntax errors and other diagnostics when --python-version 3.9
is provided via the CLI.

Bug fixes

• Avoid panicking on __new__ assignments to classes (#​25282)
• Preserve declaration order when synthesizing class fields (#​25249)
• Respect dict-compatible fallbacks in TypedDict unions (#​25242)
• Retain recursively-defined state in binary expressions (#​25277)

LSP server

• Add Quick Fix to remove redundant cast (#​25211)
• Classify property declaration semantic tokens (#​25322)
• Escape HTML syntax in docstring rendering (#​25247)
• Prefer symbols from standard library over those of the same name from third party libraries for import completions. (#​25108)
• Support type aliases in document symbols (#​25302)

Diagnostics

• Add error context for extra callable parameters (#​25269)

Performance

• Avoid exponential blow-up in fall-through narrowing (#​25278)
• Speed up include filtering for projects with many literal include patterns (#​25266)

Core type checking

• Allow enum member accesses on self (#​25077)
• Emit a diagnostic for subclassing with order=True (#​21704)
• Full-scope bidirectional inference for unconstrained container literals (#​25279)
• Infer dict(TypedDict) as dict[str, object] (#​24852)
• Refine Callable class-decorator fallback for unknown results (#​25250)
• Reject incompatible explicit variance in generic base classes (#​25327)
• Support multi-inference through type aliases (#​25245)
• Sync vendored typeshed stubs (#​25271, #​25172)

Contributors

• @​ibraheemdev
• @​MatthewMckee4
• @​sqqueak
• @​lerebear
• @​sharkdp
• @​dhimasardinata
• @​MichaReiser
• @​charliermarsh

v0.0.38

Compare Source

Released on 2026-05-19.

Bug fixes

• Fix panic in enum literal during cycle recovery (#​25237)
• Fix panic from lazy NewType base expansion during cycle recovery (#​25234)
• Fix class-body global lookup before class binding (#​25224)
• Handle aliased dict fallbacks in TypedDict unions (#​25241)
• Ignore _generate_next_value_ with custom construction hooks (#​25210)

LSP server

• Fix find references for except handlers (#​25231)
• Preserve delimiters when folding expressions (#​24999)
• Use incremental file walk on .gitignore changes (#​25183)

Core type checking

• Add first-class support for enum complements (#​24961)
• Allow known non-field writes on frozen dataclass subclasses (#​25087)
• Ignore generic specialization in layout compatibility checks (#​25178)
• Preserve short-circuit bindings in all condition consumers (#​25160)
• Support class decorators (#​25091)
• Support custom _generate_next_value_ methods in enums (#​25196)

Contributors

• @​MatthewMckee4
• @​MichaReiser
• @​charliermarsh
• @​lerebear
• @​thejchap

v0.0.37

Compare Source

Released on 2026-05-16.

Bug fixes

• Avoid unsound not in narrowing (#​25161)
• Fix async iteration over narrowed typevars (#​25155)
• Fix panic in double-inference for single starred positional TypedDict (#​25176)
• Fix panic in disjoint base check (#​25187)
• Fix panic in recursive binary inference (#​25189)
• Fix panic in cyclic __new__ (#​25185)
• Fix panic in reveal_protocol, reveal_mro, etc. with keyword arguments (#​25179)
• Fix panic in imported overload definition (#​25168)

LSP server

• Don't show argument inlay for case-insensitive matches or prefix/suffixes (#​25174)
• Reduce CPU usage of the LSP when switching between large changesets (#​25142)

Core type checking

• Avoid enforcing __new__ with custom metaclasses (#​25180)
• Make overload public type reachability-aware (#​25171)
• Only specialized types of generic class instances should influence variance (#​25124)
• Preserve ParamSpec argument context through wrapper calls (#​24934)
• Support partially specialized type context for collection literals (#​24506)

Contributors

• @​RasmusNygren
• @​MichaReiser
• @​charliermarsh
• @​ibraheemdev

v0.0.36

Compare Source

Released on 2026-05-14.

Bug fixes

• Fix Go To-Definition for self-imported submodules (#​25106)
• Fix ClassVar[Self] assignment checks for class objects (#​24657)
• Fix attribute access on Callable-bounded TypeVars (#​24793)
• Fix panic from TypedDict schema cycle with Self fields (#​25094)
• Fix panic from accessing args[0] for static_assert (#​25149)
• Fix panic from non-name walrus target access (#​25121)
• Fix singleton classification for runtime typing objects (#​25099)
• Guard self-referential TypeOf recursion in generic callables (#​24668)
• Preserve lexical ParamSpec scope for returned Callable annotations (#​24909)
• Preserve walrus bindings through negated short-circuit conditions (#​25163)
• Run full iteration analysis on narrowed typevars (#​25143)

LSP server

• Classify TypeVar semantic tokens as type parameters (#​24891)
• Emit folding ranges for an entire block (#​25113)
• Respect the includeDeclaration request parameter (#​24960)
• Support TypedDict key completions in incomplete, anonymous contexts (#​25147)

Performance

• Bound loop-header analysis for large loops (#​24972)
• Convert inference hash maps to boxed slices on finish (#​25102)

Core type checking

• Add support for sentinel values (PEP 661) (#​25082)
• Hoist path assignment implication checks (#​25107)
• Preserve TypedDict keys through dict unpacking (#​24523)
• Treat custom enum __new__ values as dynamic (#​25136)

Contributors

• @​RasmusNygren
• @​charliermarsh
• @​JelleZijlstra
• @​Minibrams
• @​lerebear
• @​denyszhak
• @​MichaReiser

v0.0.35

Compare Source

Released on 2026-05-10.

Bug fixes

• Allow ParamSpec specialization through unioned generic classes (#​24826)
• Fix cross-file find-references for keyword arguments (#​25043)
• Fix comparison between negative and positive literal integers (#​25023)
• Reject dataclass decorator parameters based on supported Python version (#​25029)

LSP server

• Adjust start of block folding range to preserve visible header for character-precise LSP clients. (#​24917)
• Emit folding ranges from the language server for multi-line block headers. (#​24978)
• Skip global search for references if identifier is not externally visible (#​25033)
• Speed-up find-references by using multithreading for cross-file searches (#​25042)

CLI

• Include severity in JUnit diagnostics (#​25080)

Core type checking

• Check non-generic overload implementations (#​24936)
• Expand support for narrowing within walruses (#​24968)
• Filter overloads based on return type for ParamSpec mapping (#​24769)
• Improve support for recursive types (#​24773)
• Include TypedDict type context when inferring mixed constructors (#​25039)
• Include TypedDict type context when inferring string keys (#​25037)
• Preserve NewType and TypeAliasType in implicit aliases (#​25072)
• Provide type cntext for generator expression yields (#​25069)
• Provide type context for boolean operands (#​25070)
• Selectively promote a union of homogeneous fixed-length tuples to a single variadic tuple (#​24705)
• Support narrowing on __class__ checks (#​24997)
• Use more precise exception types when catching a union (#​25076)

Diagnostics

• Include error context for overload consistency diagnostics (#​24950)

Performance

• Cache results in desperate module resolution (#​24977)
• Lazily initialize builder when transforming a union type (#​24929)
• Project reachability constraints before narrowing (#​24982)
• Skip parameter accumulation for object variadics (#​24976)

Contributors

• @​MichaReiser
• @​mtshiba
• @​dylwil3
• @​lerebear
• @​carljm
• @​charliermarsh
• @​dhruvmanila

---

Configuration

📅 Schedule: (UTC)

• Branch creation
  • "every weekend"
• 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.