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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.38 → ==0.0.47

---

Release Notes

astral-sh/ty (ty)

v0.0.47

Released on 2026-06-10.

Bug fixes

• Avoid panicking on encountering a recursive NamedTuple that references a recursive NewType (#​25764)
• Fix out-of-bound panic in notebooks involving suppression comments (#​25629)

Core type checking

• Preserve overloads through callable protocol decorators (#​25806)
• Sync vendored typeshed stubs (#​25779). Typeshed diff

Performance and memory-usage improvements

• Avoid caching specialization-invariant known instances (#​25816)
• Avoid resolving overload sets for ordinary functions (#​25817)
• Store common definition inference results inline (#​25814)
• Use Box<SystemPath> etc. in Files (#​25554)

Contributors

• @​dhruvmanila
• @​MichaReiser
• @​charliermarsh

v0.0.46

Compare Source

Released on 2026-06-08.

Bug fixes

• Avoid crash when hovering over Callable (#​25759)

Core type checking

• Support Callable() in match statement class patterns (#​25541)
• Improve support for enum.property (#​25681)

Contributors

• @​carljm
• @​charliermarsh
• @​thejchap

v0.0.45

Compare Source

Released on 2026-06-08.

Bug fixes

• Avoid treating dynamic class attributes as instance attributes (#​25678)
• Fix divergence in recursive inference due to ambiguous overload (#​25548)
• Preserve literal promotion for mixed bounds (#​25648)

Diagnostics

• Add missing-type-argument lint rule (#​25617)

Core type checking

• Add support for narrowing on tuple match cases (#​25493)
• Check implicit open TypedDict extra items (#​25628)
• Create fresh copies of generic callable typevars (#​24949)
• Preserve deprecation on replacement functions (#​25688)
• Preserve intersection receivers during attribute lookup (#​25626)
• Preserve transparent callable decorators (#​25030)

Performance

• Avoid AST load for callable description names (#​25728)
• Avoid caching absent class decorators and type parameters (#​25689)
• Avoid caching atomic type specializations (#​25663)
• Avoid caching constant constraint relations (#​25656)
• Avoid caching missing implicit attributes (#​25649)
• Avoid caching trivial class-header queries (#​25692)
• Avoid caching trivial member lookups (#​25661)
• Bypass member lookup for module imports (#​25723)
• Cache constraint implication checks (#​25714)
• Cache upper-bound satisfiability (#​25710)
• Compact retained function type signatures (#​25669)
• Compact retained use-def bindings (#​25682)
• Consolidate retained narrowing constraints (#​25660)
• Construct trivial constraint sets directly (#​25659)
• Resolve function descriptors directly (#​25675)
• Share code-generator classification across specializations (#​25701)
• Share parameter lists with Arc (#​25735)
• Use same-file expression inference in reachability (#​25694)

Contributors

• @​mtshiba
• @​dhruvmanila
• @​charliermarsh
• @​dcreager
• @​carljm
• @​reginaldl

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

v0.0.40

Compare Source

Released on 2026-05-27.

Bug fixes

• Accept complete enum-literal alias unions as enums (#​25341)
• Fix diagnostics in ignored folders after adding new files (#​25236)
• Show LiteralString when hovering over an inline of a literal string in an IDE (#​25373)

LSP server

• Follow aliases when attempting to map a definition in a stub file to its "real" runtime definition (#​25328)
• Treat Python notebook text documents as Python sources (#​25393)
• Fix autocompletion for elements inside incomplete list comprehensions (#​25326)

Diagnostics

• Add a subdiagnostic help message to invalid-generic-class diagnostics regarding incompatible variance (#​25385)

Core type checking

• Ignore and reject annotations on non-name targets (#​25324)
• Infer class attributes assigned by metaclass initialization (#​25342)
• Reject inconsistent generic bases in "dynamic" classes created using type(...), types.new_type(...), etc. (#​25413)
• Resolve enum names for all unions arms in Literal enum subsets (#​25379)
• Support typing.TypeForm (#​25334)
• Fix many issues in the generics solver by using constraint sets more widely to solve type variables (#​24540)

Contributors

• @​anuraaga
• @​dcreager
• @​charliermarsh
• @​MichaReiser
• @​Dev-X25874

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

---

Configuration

📅 Schedule: (UTC)

• 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 was generated by Mend Renovate. View the repository job log.