⬆️🐍 Update dependency ty to v0.0.23

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.19 → ==0.0.23

---

Release Notes

astral-sh/ty (ty)

v0.0.23

Compare Source

Released on 2026-03-13.

Bug fixes

• Fix false-positive diagnostics for PEP-604 union annotations on attribute targets on Python 3.9 when from __future__ import annotations is active (#​23915)
• dataclass_transform: Respect kw_only overwrites in dataclasses (#​23930)
• Fix too-many-cycle panics when inferring loop variables with Literal types (#​23875)

Server

• Fix folding range classification of lines starting with # (#​23831)
• Fix folding ranges for notebooks (#​23830)

Core type checking

• Split errors for possibly missing submodules into a new possibly-missing-submodule error code (enabled by default), and make possibly-missing-attribute ignored by default (#​23918)
• Improve handling of bidirectional inference when (#​23844)
• Fix inference of conditionally defined properties (#​23925)

Improvements to diagnostics

• Clarify in diagnostics that from __future__ import annotations only stringifies type annotations (#​23928)

Performance improvements

• Avoid duplicated work during multi-inference (#​23923)

Contributors

• @​ibraheemdev
• @​sharkdp
• @​oconnor663
• @​mtshiba
• @​MichaReiser
• @​carljm
• @​AlexWaygood

v0.0.22

Compare Source

Released on 2026-03-12.

Bug fixes

• Fix issue where variables could be inferred as Divergent if they were assigned using tuple unpacking in loops (#​23812)
• Allow error = "all" in a root pyproject.toml file to be overridden using tool.ty.overrides in a subdirectory's pyproject.toml file (#​23712)
• Only unsoundly upcast type[] types to their constructor Callable type during assignability checks, not during redundancy/subtyping checks (#​23834, #​23901)
• Fix stack overflow that could occur with certain recursive protocols (#​23870)

LSP server

• Improve syntax highlighting by fixing semantic token classification for generic class members in annotations (#​23811)

CLI

• Add ty explain <RULE> CLI command (#​23766)

Core type checking

• Add validation for type parameters with defaults after TypeVarTuple parameters (#​23807)
• Allow subtypes of LiteralString to be narrowed using equality checks (#​23794)
• Detect invalid partially stringified PEP-604 unions (#​23285)
• Disambiguate duplicate-looking overloaded callables in union display (#​23907)
• Don't promote module-literal types to types.ModuleType (#​23786)
• Improve type context support for __setitem__ dunder calls (#​23800)
• Infer t | {"foo": int} as TD if t is an instance of a TypedDict td with a foo: int key (#​23806)
• Narrow T to T & str rather than str if T is a constrained TypeVar with str as one of its constraints (#​23850)
• Promote None to None | Unknown in invariant contexts (#​23790)
• Reject type[Callable] in type annotations (#​23753)
• Support enum member access through enum instances and members (#​23772)
• Eagerly narrow the type associated with keys of heterogeneous dict literals even when a dict literal appears as a subexpression inside a list or tuple literals (#​23569)
• Ensure that T & ~S is always inferred as a subtype of U during generic inference if T is understood as a subtype of U (#​23728)
• Optimize and improve cycle recovery by preventing "tainted" unions in cycle normalization (#​23563)

Installer

• Prefer downloading releases from Astral's mirror over GitHub (#​2980)

Contributors

• @​charliermarsh
• @​MichaReiser
• @​mtshiba
• @​AlexWaygood
• @​ibraheemdev
• @​ntBre
• @​oconnor663
• @​zsol

v0.0.21

Compare Source

Released on 2026-03-05.

Bug fixes

• Avoid stack overflow with recursive typevar (#​23652)
• Fix panic on incomplete except handlers (#​23708)
• Allow unions of different-length iterables in *args unpacking into optional positional parameters (#​23124)
• Don't replace Any attributes with object after isinstance narrowing (#​23725)

LSP server

• Exclude decorators from class/def code folding (#​23543)
• Fix handling of non-Python text documents (#​23704)

Configuration

• Add all selector to ty.json schema (#​23721)
• Fix precedence of all selector in TOML configurations (#​23723)
• Make all selector case-sensitive (#​23713)

Type checking

• Add invalid-enum-member-annotation lint rule (#​23648)
• Add a diagnostic for an unused awaitable (#​23650)
• Add a diagnostic if a TypeVar is used to specialize a ParamSpec, or vice versa (#​23738)
• Add more type-variable default validation (#​23639)
• Add unbound type variable detection in annotations (#​23641)
• Apply narrowing to walrus values (#​23687)
• Do not union Unknown into unannotated container types (#​23718)
• Avoid inferring generics with negative intersections (#​23750)
• More precise types for name and value of an enum (#​23683)
• Better preserve user-provided union order in inferred specializations (#​23715)
• Support narrowing in ternary expressions (#​23726)
• Validate bare ParamSpec usage in type annotations, and support stringified ParamSpecs as the first argument to Callable (#​23625)

Contributors

• @​charliermarsh
• @​zsol
• @​Gankra
• @​MichaReiser
• @​AlexWaygood
• @​rizzip
• @​iksuddle
• @​dcreager
• @​BurntSushi
• @​carljm
• @​oconnor663

v0.0.20

Compare Source

Released on 2026-03-02.

Bug fixes

• Disallow negative narrowing for isinstance() or issubclass() checks involving type[] types (#​23598)
• Fix binary operations between an instance of a NewType of float and an instance of Any/Unknown (#​23620)
• Fix bug where ty would think that a Callable with a variadic positional parameter could be a subtype of a Callable with a positional-or-keyword parameter (#​23610)
• Fix inference of t.__mro__ if t is an instance of type[Any] (#​23632)
• Fix overloaded callable assignability for unary Callable targets (#​23277)
• Limit recursion depth when displaying self-referential function types (#​23647)
• Ensure that python -m ty works even when ty was installed into an ephemeral virtual environment (#​2852)

LSP server

• Add support for the LSP protocol's "type hierarchy" feature (#​23566)

Type checking

• Add more ParamSpec validation for P.args and P.kwargs (#​23640)
• Ban nested Required/NotRequired, and ban them both outside of TypedDict fields (#​23627)
• Detect inconsistent generic base class specializations that appear in the same MRO (#​23615)
• Detect invalid uses of @final on non-methods (#​23604)
• Add partial support and validation for Unpack when used with tuple types (#​23651)
• Recurse into tuples and nested tuples when applying special-cased validation of arguments passed to isinstance() and issubclass() (#​23607)
• Reject ellipsis literals in odd places in type/annotation expressions (#​23611)
• Reject functions with PEP-695 type parameters that shadow type parameters from enclosing scopes (#​23619)
• Reject generic metaclasses parameterized by type variables (#​23628)
• Treat dataclass_transform dataclasses as neither frozen nor non-frozen (#​23366)
• Validate that type variable defaults don't reference later type parameters or type parameters out of scope (#​23623)

Typeshed

• Sync vendored typeshed stubs (#​23642). Typeshed diff

Contributors

• @​Hugo-Polloli
• @​zanieb
• @​sharkdp
• @​mtshiba
• @​carljm
• @​charliermarsh
• @​sinon
• @​BurntSushi
• @​oconnor663
• @​AlexWaygood
• @​zsol

---

Configuration

📅 Schedule: Branch creation - "every weekend" (UTC), 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.

[burgholzer]

This feels like a false positive. Let's wait for the next ty release and see whether it gets resolved

[denialhaag]

This feels like a false positive. Let's wait for the next ty release and see whether it gets resolved

See astral-sh/ty#3002.