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

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.1a25 → ==0.0.8

---

Release Notes

astral-sh/ty (ty)

v0.0.8

Compare Source

Released on 2025-12-29.

Breaking changes

• Rename non-subscriptable rule to not-subscriptable (#​22193)

Core type checking

• Promote float and complex when promoting literals (#​22215)
• Callable type of a type object is not function-like (#​22226)
• Fix and simplify callable type materializations (#​22213)

LSP server

• Add option to disable syntax errors (#​22217)
• Fix completion in decorators with missing declaration (#​22177)
• Better completions context detection when typing in decorator positions (#​22224)
• Limit the returned completions to reduce lag (#​22240)

Diagnostics

• Improve wording of unsupported-base sub-diagnostic (#​22194)
• Preserve the invalid assignment diagnostic message when implicitly shadowing a definition (#​22219)

Other changes

• Update docker image to use alpine 3.23 and trixie (#​2217)

Contributors

• @​RasmusNygren
• @​samypr100
• @​silamon
• @​carljm
• @​MichaReiser
• @​MatthewMckee4

v0.0.7

Compare Source

Released on 2025-12-24.

Bug fixes

• Fix classification of modules in import x as y for semantic syntax highlighting (#​22175)
• Fix module resolution on network drives (#​22173)
• Render the entire diagnostic message in all output formats (#​22164)

Other changes

• Add a dedicated diagnostic for TypedDict deletions (#​22123)
• Check __delitem__ instead of __getitem__ for del x[k] (#​22121)
• Fix @staticmethod combined with other decorators incorrectly binding self (#​22128)
• Fix implementation of Top[Callable[..., object]] (#​22145)
• Improve diagnostic when callable is used in a type expression instead of collections.abc.Callable or typing.Callable (#​22180)
• Improve diagnostic when a user tries to access a function attribute on a Callable type (#​22182)
• Include the specialization of a generic TypedDict as part of its display (#​22174)
• Support tuple narrowing based on member checks (#​22167)
• Synthesize __delitem__ for TypedDict to allow deleting non-required keys (#​22122)

Contributors

• @​MichaReiser
• @​ntBre
• @​AlexWaygood
• @​charliermarsh

v0.0.6

Compare Source

Released on 2025-12-23.

Bug fixes

• FIx panic from unexpanded type aliases in implicit tuple aliases (#​22015)
• Support type[T] where T is a type alias to a union of types (#​22115)
• Support == narrowing for tuples in unions with disjoint types (#​22129)
• Respect debug text interpolation in f-strings (#​22151)
• Fix panic from unstable union-type ordering in fixed-point iteration (#​22070)

LSP server

• Add ty.configuration and ty.configurationFile options (#​22053)
• Add diagnosticMode: off to disable diagnostics while retaining Go To Definition, etc. (#​22073)
• Set flag to avoid type[T@f] being inserted when you double-click on the inlay (#​22139)
• Use Markdown for completions documentation if the LSP client supports it (#​21752)

CLI

• Abort printing diagnostics when pressing Ctrl+C (#​22083)

Configuration

• Add respect-type-ignore-comments configuration option (#​22137)
• Support custom builtins via __builtins__.pyi (#​22021)

Other changes

• Bind self with instance in __get__ (#​22155)
• Support type inference between protocol instances (#​22120)
• Synthesize a precise _fields attribute for NamedTuples (#​22163)
• Synthesize a precise _replace method for NamedTuples (#​22153)
• Narrow "tagged unions" of TypedDicts (#​22104)

Contributors

• @​mtshiba
• @​charliermarsh
• @​Wizzerinus
• @​oconnor663
• @​MichaReiser
• @​ibraheemdev
• @​MatthewMckee4

v0.0.5

Compare Source

Released on 2025-12-20.

Bug fixes

• Fix debug-mode server panic when a user typed a class definition by ensuring class arguments are visited in source order for semantic tokens (#​22063)

LSP server

• Classify docstrings in semantic tokens during syntax highlighting (#​22031)

CLI

• Add --force-exclude option (#​22076)
• Only clear output between two successful checks (#​22078)

Other changes

• Add support for dict(...) calls in TypedDict contexts (#​22113)
• Speedup bidirectional type-checking involving large unions by avoiding narrowing on non-generic calls (#​22102)
• Simplify inferred types by avoiding storing multi-inference attempts (#​22062, #​22103)
• Improve union builder performance (#​22048)
• Only prefer declared types in non-covariant positions (#​22068)
• Respect intersections in iterations (#​21965)
• Sync vendored typeshed stubs (#​22091). Typeshed diff
• Understand that the type of X on an enum class will be int if X is defined using enum.nonmember in the class definition (#​22025)

Contributors

• @​charliermarsh
• @​ibraheemdev
• @​RasmusNygren
• @​Hugo-Polloli
• @​carljm
• @​Gankra
• @​MichaReiser

v0.0.4

Compare Source

Released on 2025-12-18.

LSP server

• Add support for attribute docstrings (#​22036)
• Correctly encode multiline tokens for clients not supporting multiline tokens (#​22033)
• Autocompletions: Don't suggest keyword statements when only expressions are valid (#​22002)
• Fix goto-declaration on the right-hand side of from module import submodule (#​22042)
• Fix some configuration panics in the LSP (#​22040)
• Gracefully handle client requests that can't be deserialized (#​22051)

Other changes

• Improve performance for large match statements (#​22045)
• Disable possibly-missing-imports by default (#​22041)
• Implement disjointness for TypedDicts, significantly speeding up checking of code that uses pydantic (#​22044)

Contributors

• @​oconnor663
• @​MichaReiser
• @​Gankra
• @​RasmusNygren
• @​charliermarsh

v0.0.3

Compare Source

Released on 2025-12-17.

LSP server

• Improve rendering of signatures in hovers (#​22007)

Core type checking

• Apply narrowing to len calls based on argument size (#​22026)
• Don't add identical lower/upper bounds multiple times when inferring specializations (#​22030)
• Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#​22022)
• Improve disambiguation of types in many cases (#​22019)
• Respect deferred values in keyword arguments etc. for .pyi files (#​22029)
• Handle field specifier functions that accept **kwargs and recognize metaclass-based transformers as instances of DataclassInstance (#​22018)

Contributors

• @​charliermarsh
• @​sharkdp
• @​Gankra
• @​zanieb
• @​AlexWaygood
• @​dcreager

v0.0.2

Released on 2025-12-16.

This is the first Beta release of ty, which we're now ready to recommend to motivated users for
production use. See our blog post for more details.

LSP server

• Improve display of completions to show actual insertion text (#​21988)
• Improve highlighting of special type syntax in hovers (#​22005)
• Improve syntax highlighting of constants (#​22006)

Core type checking

• Infer precise types for isinstance(…) calls involving type variables (#​21999)
• Infer TypeVar specializations for Callable types (#​21551)
• Propagate classmethod-ness through decorators returning Callables (#​21958)
• Improve rendering of default values for function args (#​22010)
• Don't use implicit superclass annotation when converting a class constructor into a Callable (#​22011)

Other

• Type checking performance improvement (#​22000)

Contributors

• @​sharkdp
• @​carljm
• @​Gankra
• @​BurntSushi
• @​dcreager
• @​MichaReiser

v0.0.1

Released on 2025-12-16.

Bug fixes

• Fix panic for stringified comprehensions and boolean expressions in type expression (#​21967)
• Avoid stack overflow when determining inferable typevars (#​21971)
• Fix false-positive invalid-method-override diagnostic on method that uses Callable with a ParamSpec (#​21934)
• Disallow explicit specialization of type variables themselves (#​21938)
• Fix hover type on named expression ("walrus expression") targets (#​21952)

LSP server

• Add "qualify ..." code fix for undefined references (#​21968)
• Add new goto-definition targets on inlay hints (#​21950)
• Remove invalid statement-keyword completions in for-statements (#​21979)

Core type checking

• Add support for __qualname__ and other implicit class attributes (#​21966)
• Emit a diagnostic when a frozen dataclass inherits a non-frozen dataclass and vice versa (#​21962)
• Emit a diagnostic when a type variable with a default is followed by one without a default (#​21787)
• Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#​21947)
• Improve check enforcing that an overloaded function must have an implementation (#​21978)
• Use unqualified names for displays of TypeAliasTypes and unbound ParamSpecs/TypeVars (#​21960)

Performance

• Speed up ty on Linux by using jemalloc (#​21975)

Contributors

• @​11happy
• @​dhruvmanila
• @​AlexWaygood
• @​mtshiba
• @​MichaReiser
• @​Gankra
• @​silamon
• @​dcreager
• @​charliermarsh
• @​RasmusNygren
• @​carljm

v0.0.1a35

Compare Source

v0.0.1a34

Compare Source

v0.0.1a33

Compare Source

v0.0.1a32

Compare Source

v0.0.1a31

Compare Source

v0.0.1a30

Compare Source

v0.0.1a29

Compare Source

v0.0.1a28

Compare Source

v0.0.1a27

Compare Source

v0.0.1a26

Compare Source

---

Configuration

📅 Schedule: 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.