fix(deps): update dependency ty to v0.0.28

[renovate]

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	==0.0.24 → ==0.0.28

---

Release Notes

astral-sh/ty (ty)

v0.0.28

Compare Source

Released on 2026-04-02.

Bug fixes

• Mark loop header assignments as used to avoid false positives in "unused variable" diagnostics (#​24336)

LSP server

• Show constructor signature of classes when hovering over them (#​24257)

Core type checking

• Avoid emitting cascading diagnostics when parsing invalid type expressions (#​24326)
• Handle most "deep" mutual TypeVar constraints (#​24079)
• Improve consistency and quality of diagnostics relating to invalid type forms (#​24325)
• Improve robustness of various type-qualifier-related checks (#​24251)
• Infer the extra_items keyword argument to class-based TypedDicts as an annotation expression (#​24362)
• Use bidirectional inference to fix false positives on operations such as x: list[int | None] = [None] * 2 (#​24197)
• Sync vendored typeshed stubs (#​24340). Typeshed diff
• Tighten up validation of subscripts and attributes in type expressions (#​24329)
• Use infer_type_expression for parsing parameter annotations and return-type annotations (#​24353)
• Use infer_type_expression for validating PEP-613 type aliases (#​24370)
• Validate TypedDict fields when subclassing (#​24338)
• Validate type qualifiers in functional TypedDict fields and the extra_items keyword to functional TypedDicts (#​24360)
• Improve diagnostics for invalid functional TypedDicts (#​24345)

Contributors

• @​zsol
• @​dcreager
• @​charliermarsh
• @​oconnor663
• @​AlexWaygood
• @​Glyphack

v0.0.27

Compare Source

Released on 2026-03-31.

Bug fixes

• Fix panic on debug builds when attempting to provide autocomplete suggestions for list[int]<CURSOR>() (#​24167)
• Fix instance-attribute lookup in methods of protocol classes (#​24213)
• Fix nested global and nonlocal lookups through forwarding scopes (#​24279)
• Fix panic on list[Annotated[()]] (#​24303)
• Fix stack overflow on type A = TypeIs[Callable[[], A]] (#​24245)
• Use _cls as the name of the first argument for synthesized collections.namedtuple constructor methods (#​24333)

LSP server

• Fix semantic token classification for properties accessed on instances (#​24065)
• Grey out unused bindings in the editor (#​23305)

Core type checking

• Add bidirectional type context for TypedDict get() defaults (#​24231)
• Add bidirectional type context for TypedDict pop() defaults (#​24229)
• Add support for functional TypedDict (#​24174, #​24331, #​24295)
• Ban type qualifiers in PEP-695 type aliases (#​24242)
• Enforce Final attribute assignment rules for annotated and augmented writes (#​23880)
• Improve support for Callable type context (#​23888)
• Infer lambda expressions with Callable type context (#​22633)
• Don't incorrectly infer the type of a method as being a singleton type when it's accessed off an instance (#​24039)
• Propagate type context through await expressions (#​24256)
• Resolve union-likes in emitting union attribute errors (#​24263)
• Show the user where the variable was declared as Final when emitting a diagnostic about a Final variable being reassigned (#​24194)

Contributors

• @​carljm
• @​mvanhorn
• @​oconnor663
• @​ibraheemdev
• @​zanieb
• @​denyszhak
• @​Glyphack
• @​charliermarsh
• @​AlexWaygood

v0.0.26

Compare Source

Released on 2026-03-26.

Bug fixes

• Prevent "too many cycle iteration" panics in more situations (#​24061)
• Fix false positives and false negatives when unpacking a union of tuples into a function call (#​23298)

Core type checking

• Add support for typing.Concatenate (#​23689)
• Validate the return type of generator functions (#​24026)
• Support dataclass field converters (#​23088)
• Disallow Self in metaclass and static methods (#​23231)
• Improve call inference for keyword-only dict() (#​24103)
• Respect non-explicitly defined dataclass_transform params (#​24170)
• Unconditionally silence diagnostics in unreachable code (#​24179)
• Respect terminal-function-call narrowing in global scope (#​23245)

Performance

• Fix performance regression for narrowing on a larger Literal type(#​24185)

Contributors

• @​sharkdp
• @​Glyphack
• @​charliermarsh
• @​mtshiba
• @​dhruvmanila
• @​carljm
• @​choucavalier

v0.0.25

Compare Source

Released on 2026-03-24.

Breaking changes

• Support type:ignore[ty:code] suppressions (#​24096)

Bug fixes

• Avoid eager TypedDict diagnostics in TypedDict | dict unions (#​24151)
• Fix Salsa panic propagation (#​24141)
• Fix folding ranges of comments separated by statements (#​24132)
• Fix loop-header reachability cycles in conditional unpacking (#​24006)
• Fix subtyping of intersections containing NewTypes of unions vs. unions (#​24087)
• Fix untracked reads in Salsa queries that can lead to backdating panics (#​24051)
• Prevent tainted loop bindings in cycle normalization (#​24143)
• Simplify an intersection of N & ~T to Never if B & ~T would simplify to Never, where B is the concrete base type of a NewType N (#​24086)

LSP

• Preserve blank lines between comments and imports in add-import action (#​24066)

Type checking

• Add diagnostic hint for invalid assignments involving invariant generics (#​24032)
• Add precisely-typed overloads for TypedDict update (#​24101)
• Disallow read-only fields in TypedDict updates (#​24128)
• Expand bounded typevars to their upper bounds when evaluating truthiness comparisons between intersections and literal types (#​24082)
• Emit reveal_type diagnostics in unreachable code (#​24070)
• Improve isinstance() reachability analysis (#​24077)
• Improve keyword argument narrowing for nested dictionaries (#​24010)
• Infer yield expression types (#​23796)
• Reduce diagnostic range for invalid-metaclass (#​24145)
• Support narrowing for extended walrus targets (#​24129)
• Unions/intersections of gradual types should be assignable to Never (#​24056)

Contributors

• @​MichaReiser
• @​AlexWaygood
• @​Glyphack
• @​sharkdp
• @​ibraheemdev
• @​charliermarsh
• @​mvanhorn
• @​carljm

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

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

🔕 Ignore: Close this PR and you won't be reminded about these updates again.

---

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

---

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

[codecov]

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 79.15%. Comparing base (94906cf) to head (329c4c7).

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #1631   +/-   ##
=======================================
  Coverage   79.15%   79.15%           
=======================================
  Files         354      354           
  Lines       11658    11658           
  Branches      536      536           
=======================================
  Hits         9228     9228           
  Misses       2245     2245           
  Partials      185      185           

Flag	Coverage Δ
unittests	79.15% <ø> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.