chore(deps): update dependency ty to >=0.0.81 by renovate[bot] · Pull Request #139 · StacklokLabs/mcp-tef

renovate · 2026-08-28T21:32:25Z

ℹ️ Note

This PR body was truncated due to platform limits.

This PR contains the following updates:

Package	Change	Age	Confidence
ty (changelog)	`>=0.0.13` → `>=0.0.81`

Release Notes

astral-sh/ty (ty)

`v0.0.81`

Compare Source

Released on 2026-09-14.

Bug fixes

Escape glob characters in anchored directory paths (#28518)
Ignore divergent markers when detecting descriptors (#28514)

CLI

Anchor default exclude patterns at the project root (#28463)

Core type checking

Avoid rebinding extracted method calls (#28469)
Default-specialize class objects in meta-protocol checks (#28265)
Fix MRO ordering for generic bases (#28172)
Fix assignability of bounded typevars to intersection types (#28479)
Fix variadic partial signature reduction (#28586)
Handle gradual metaclass ancestry and conflicts (#28474)
Preserve recursive metadata in union transformations (#28497)
Preserve runtime comparison semantics when narrowing tagged unions (#28053)
Preserve wrapped signatures in nominal descriptor checks (#28466)
Reject reassignment of enum members (#28462)
Report override conflicts introduced by new bases (#28530)
Resolve dependencies within correlated inference alternatives (#28252)
Respect instance dictionary storage for slotted classes (#27749)
Validate explicitly overridden constructor signatures (#28115)

Performance

Avoid redundant superclass member inference (#28587)
Reuse rendered union elements when displaying types (#28494)

Memory usage improvements

Reduce retained AST memory by shrinking expressions (#28335)
Share strings in dependency metadata (#28141)

Contributors

`v0.0.80`

Compare Source

Released on 2026-09-09.

Bug fixes

Fix --force-exclude for directories with an excluded ancestor (#28451)
Preserve metaclass candidates after conflicts (#28461)

LSP server

Give existing autofixes descriptive titles (#28456)
Prevent LSP hangs during inlay hint bursts (#28390)

Diagnostic improvements

Preserve redundant-condition diagnostics with unreachable operands (#28374)

Core type checking

Check captured receivers when calling wrapped classmethods (#28467)
Fix cached classmethods on generic classes (#28207)
Fix disjointness of type guards and boolean literals (#28363)
Infer tuple variance from the full tuple spec (#28446)
Infer tuple variance more precisely (#28426)
Preserve callable identity across specialized types (#28409)
Preserve callback type context through ParamSpec forwarding (#28439)
Preserve wrapped functions in precise functools.partial relations (#28460)
Respect descriptor protocol for __set__ itself (#28408)
Respect type-variable bounds in argument context (#28448)
Unwrap union alternatives in overload implementations (#28468)

Performance

Distribute len inference over unions (#28470)
Fast-path concrete literal intersections (#28348)

Memory usage improvements

Avoid excess capacity in multi-binding tables (#28412)
Share equivalent place tables within a file (#28319)
Share names in synthesized constructor parameters (#28398)

Contributors

`v0.0.79`

Compare Source

Released on 2026-09-07.

Bug fixes

Avoid dict keyword-call panics when typing is shadowed (#28292)
Discover configs in models derived from legacy generic classes (#28397)
Normalize recursive collection-use constraints (#28332)
Recover cycles when constructing known class instances (#28289)

CLI

Embed archive checksums in the shell installer (#4458)

Diagnostic improvements

Add Literal fixes for diagnostics flagging invalid type annotations (#28185)
Add await fixes for redundant conditions (#28169)
Add assert_never fixes for redundant final elif branches (#28178)
Add defensive assertion fallback for redundant elif fixes (#28179)
Add rules to detect always-truthy and always-falsy conditions (#28034)
Preserve deprecations on decorated callables (#28256)
Require a direct dependency for reveal_type backport fixes (#28177)
Suggest variable-length tuple annotations for redundant conditions (#28168)

Core type checking

Align TypeIs and isinstance narrowing (#28193)
Avoid falling back to Unknown when collecting type context constraints (#28297)
Ensure f is identity(f) evaluates to Literal[True] (#28360)
Fix callable specialization with union-valued ParamSpec (#28085)
Infer variance through recursive protocols (#28077)
Narrow types with ordered length comparisons (#28264)
Preserve gradual type context during generic call inference (#28091)
Preserve nominal subtyping for top-materialized protocols (#28271)
Preserve outer type variables during ParamSpec inference (#28306)
Preserve protocol intersections when narrowing gradual types (#28391)
Promote literals in nested (non-covariant) positions (#28389)
Reject missing attributes on type[] aliases (#28267)
Solve formal unions using constraint-sets (#28312)
Sync vendored typeshed stubs (#28331). Typeshed diff

Performance

Avoid unnecessary work when building specializations (#28369)
Bypass materialization queries for simple types (#28367)
Cache exception suppression for context managers (#28376)
Intern statement call predicates (#28373)
Lazily compute argument-context specializations (#28378)
Pre-size packed AST index chunks (#28372)
Reduce repeated work in use-def merges (#28365)
Skip decorator flags query for undecorated methods (#28338)

Memory usage improvements

Avoid caching simple type specializations (#28333)
Box cached MRO error details (#28351)
Reuse generic aliases as MRO query keys (#28350)
Reuse interned bound method signatures (#28346)
Reuse stored function signatures without caching duplicates (#28347)
Share retained use-def tables across scopes (#28313)
Store single narrowing operations inline (#28345)
Store uncommon signature metadata out of line (#28339)

Other changes

Declare support for Python 3.15 (#4476)

Contributors

`v0.0.78`

Compare Source

Released on 2026-09-02.

Bug fixes

Defer decorator-call diagnostics to avoid recursive-default cycles (#28226)
Make cyclic intersection simplification deterministic (#28156)
Stabilize cyclic terminal-call reachability (#28216)

Preview features

Refresh uv workspace metadata when dependencies change (#28224)

Diagnostics

Add a new disjoint-cast rule (#28129)
Report deprecated property accessors on intersections (#28250)
Report deprecations for implicit constructor calls (#28251)
Report deprecations for overloads, operators, and properties (#28134)
Respect overload selection in deprecation diagnostics (#28148)

Core type checking

Fix negative narrowing for protocols with gradual members (#28198)
Preserve ParamSpec bindings inferred against type context (#28084)
Preserve generic protocol materialization relations (#28246)
Preserve uncertain branches during quantification (#28211)
Respect type variables in top/bottom materializations of invariant generics (#28072)
Sync vendored typeshed stubs (#28217). Typeshed diff
Treat captured bound-method receivers covariantly (#28180)
Unsound intersection simplification for generic iterables (#28068)
Validate type variable scopes in constructors and aliases (#28130)
lambda functions are always truthy (#28254)

Performance

Optimize materialized recursive protocol comparisons (#28079)
Optimize recursive protocol checks for nested type variables (#28257)

Contributors

`v0.0.77`

Compare Source

Released on 2026-08-31.

Bug fixes

Bound recursive protocol traversal in generic intersections (#28215)
Preserve recursion guards across nested type operations (#28150)
Preserve syntax and comments when removing redundant casts (#28145)
Stabilize recursive receiver inference (#28042)
Stabilize condition truthiness during cyclic inference (#28212)

Core type checking

Preserve generic receivers in implicit __init_subclass__ calls (#28138)
Preserve specialization for inherited TypedDict methods (#28111)
Propagate deletions through nested loop headers (#28044)

Performance

Avoid repeated inference for literal union call results (#28196)

Contributors

`v0.0.76`

Compare Source

Released on 2026-08-31.

Preview features

Add a missing-direct-dependency rule (#28001)
Cancel superseded queued uv requests (#28108)
Check direct dependencies in PEP 723 scripts (#28136)
Fix Goto definition in script dependencies (#27747)
Move script environment initialization to the CLI and LSP (#28038)
Refresh uv project metadata in the background (#27933)
Synchronize PEP 723 script environments in the language server (#27619)
Warn when uv metadata cannot support dependency checks (#28133)

Bug fixes

Avoid panics on incomplete protocol type parameter lists (#28088)
Fix auto-completion panic involving bare declarations (#28191)
Guard recursive meta-type expansion (#28143)
Preserve parentheses when removing redundant casts (#28092)

LSP server

Add "Find references" support for pytest fixtures (#28075)
Highlight PEP 723 script metadata as TOML (#27746)
Synchronize saved script metadata on open (#27873)

Core type checking

Apply mixin specialization when validating enum members (#28101)
Bind Self through generic type aliases (#28117)
Infer lambda parameters through callable type aliases (#28109)
Intersection simplifications with subtype-related generic specializations (#26880)
Invalidate member narrowing across loop iterations (#28009)
Narrow functional enum members in == and match (#28103)
Only treat recursive types with unbounded specializations as fallback cycles (#27538)
Preserve Final variance in stubs (#28119)
Preserve inferred types for unknown class-decorator results (#28067)
Preserve list literal positions in starred unpacking (#28061)
Preserve short-circuit reachability for direct conditions (#28082)
Preserve type variables in bounded generic defaults (#28122)
Reject circular type alias definitions (#28140)
Reject class access to generic instance attributes (#28123)
Use the subclass receiver when checking method overrides (#28124)
Validate declared variance in method signatures (#28116)

Performance

Avoid cubic narrowing with repeated assignments and context managers (#27787)
Avoid repeated traversal of shared alias arguments (#28147)
Reject impossible eager protocol comparisons early (#28081)

Contributors

`v0.0.75`

Compare Source

Released on 2026-08-26.

Preview features

Initialize PEP 723 script environments in the CLI (#27544)
Refresh PEP 723 script environments in watch mode (#27617)
Run PEP 723 script synchronization on bounded workers (#27615)

Bug fixes

Specialize Self bounds of inherited methods (#27990)

LSP server

Add "Go to Definition" support for pytest fixtures (#27444)

Documentation

Fix documented Python package build command (#4384)
Link untyped-call tracking issue in migration guide (#4382)

Library support

Resolve imported pytest fixture exposures (#27539)
Resolve installed core pytest fixture providers (#27770)
Resolve pytest fixtures through conftest (#27540)

Diagnostics

Add more autofixes (#28029)
Add a dedicated missing-slot diagnostic (#28039)
Explain missing storage for declared slotted attributes (#27969)
Improve diagnostic spans for unpacked variable assignments (#28041)

Core type checking

Account for known subclasses in equality inference (#28005)
Expand ParamSpec signatures inferred from bound receivers (#28020)
Fix Self binding in ParamSpec protocols (#28016)
Fix TypedDict variance inference (#28052)
Fix unsound narrowing through branch-assigned conditions (#28006)
Ignore inconsistent binding decorators on overloads (#28036)
Infer yield from send/return types from the iterator returned by __iter__ (#27987)
Infer tuple type parameters from union arguments (#28062)
Infer variance through nonrecursive protocol references (#28065)
Preserve bounds of non-literal metaclasses (#28046)
Preserve correlated generic-call inference (#28043)
Preserve invariant materialization constraints (#28047)
Recover bare TypeVarTuples in tuple annotations (#27950)
Reject fixed tuples for non-inferable TypeVarTuples (#27943)
Reject incompatible constructor context for variadic packs (#27966)
Support mixed gradual tuple assignability with TypeVarTuple (#27957)
Support tagged union with multiple tags per type (#27984)
Sync vendored typeshed stubs (#28035). Typeshed diff
Treat typing.Union as a class on Python 3.14+ (#28003)
Validate generic protocol variance (#27531)
collections.abc.Callable is an instance of type (#27991)

Contributors

`v0.0.74`

Compare Source

Released on 2026-08-22.

Bug fixes

Avoid duplicate bindings in multi-target assignments (#27938)
Avoid panic on unpacked kwargs in string annotations (#27963)
Fix stack overflow in recursive TypedDict dictionary compatibility (#27951)
Handle assignment expressions in string annotations (#27921)
Handle dynamic classes in string annotations (#27883)
Preserve string annotation context in lambda defaults and TypedDict types (#27914)
Skip invalid subscript arguments in string annotations (#27917)
Skip invalid subscript operands in string annotations (#27882)

LSP server

Add untrustedWorkspace option to the LSP (#27828)
Add executable discovery to the server command (#27806)
Handle file-valued workspace folders from Zed (#27836)
Skip scripts with an invalid PEP 723 configuration (#27505)
Support pull diagnostics for notebook cells (#27778)

Documentation

Update mypy/pyright comparison table (#4165)

Diagnostics

Add an opt-in unsound-assignment rule for variables (#27874)
Fix variadic signature display (#27869)
Highlight declarations in invalid-assignment diagnostics (#27872)
Improve LiteralString suggestions in string annotations (#27931)
Use invalid-type-form for non-generic class annotations (#27889)

Core type checking

Add bounded constraint solution projections (#27949)
Fix invariant gradual tuple materialization ranges (#27946)
Guard recursive constructor bindings by receiver (#27958)
Preserve all alternatives in bounded intersections (#27898)
Preserve keyword safety for unpacked callables (#27517)
Preserve source protocol members and classify finite aliases (#27772)
Preserve type-variable order when reloading constraints (#27904)
Propagate narrowing through statically known branches (#27752)
Recognize ABC metaclass methods on protocols (#27897)
Support __slots__ (#27730)

Performance

Lazily infer function parameter default types (#27857)
Optimize inherited recursive protocol comparisons (#27922)
Traverse shared constraint source-order nodes once (#27947)

Contributors

`v0.0.73`

Compare Source

Released on 2026-08-18.

LSP server

Do not prefer unsafe fixes in the language server (#27822)
Fix signature help in trailing whitespace (#27784)

Library support

Preserve variadic generics in functools.partial (#27774)

Diagnostics

Add an opt-in rule flagging function decorators that transform a non-dynamic type into a dynamic type (#27829)
Disambiguate same-named types in several diagnostics (#27814)
Show error spans for errors originating in script metadata (#26693)

Core type checking

Avoid bypassing solver during literal promotion (#27763)
Expand nested union aliases when finding a TypedDict or callable (#27740)
Implement intersection meta-type projection (#27660)
Infer generic protocols from class objects (#27812)
Model exception-suppressing context managers (#27219)
Preserve TypeAliasType runtime origin (#27813)
Preserve class objects in lazy protocol checks (#27815)
Preserve declared types in exception handlers (#27817)
Preserve explicit globals after conditional rebinding (#27786)
Preserve property subclass types and accessors (#27833)
Preserve required stub fields in generated constructors (#27765)
Preserve static upper bounds of gradual solutions (#27664)
Prevent unrelated quantified constraints from destabilizing recursive queries (#27737)
Separate generic constraint accumulation from legacy projection (#27743)
Simplify generic protocol inference (#27819)
Specialize inherited members of unspecialized generic classes (#27658)
Specialize type variables determined by bound receivers (#27732)
Support unpacking tuple type aliases (#27825)
Sync vendored typeshed stubs (#27771). Typeshed diff

Performance

Cache py.typed contents (#27805)
Deduplicate exception checkpoints across equivalent branches (#27703)

Contributors

`v0.0.72`

Compare Source

Released on 2026-08-14.

Preview features

Check PEP 723 scripts in isolation (#27462)

Library support

Pydantic: Accept documented boolean and fractional inputs (#27754)
Pydantic: Accept enum members for lax string and integer fields (#27751)

Diagnostics

Improve assignability hints for protocols and TypedDict types (#27717)

Core type checking

Avoid treating augmented assignments as attribute definitions (#27633)
Diagnose invalid module-level __getattr__ calls (#27507)
Fix overload argument expansion with unpacked positional arguments (#27744)
Fix specialization of generic TypedDict aliases (#27760)
Ignore generic declaration metadata in staticness checks (#27692)
Preserve tuple types containing Never (#27580)
Report deprecated unary operations (#27584)
Respect variance when inferring structural and callable types (#27707)
Support TypeVarTuple in call binding (#26886)
Treat generator-expression exceptions as eagerly evaluated (#27735)

Performance

Avoid exponential narrowing of gradual string-literal unions (#27742)

Contributors

`v0.0.71`

Compare Source

Released on 2026-08-12.

Library support

Respect third-party keyword-only fields before Python 3.10 (#27699)

Diagnostics

Diagnose invalid __getattribute__ calls (#27506)
Validate boolean conversion in comprehension filters (#27641)
Validate unpacked callable argument shapes (#27516)

Core type checking

Avoid introducing boolean literals when narrowing integers (#27698)
Fix truthiness inference for subclassable known classes (#27638)
Handle class objects that may be descriptors (#26687)
Infer type variables through nominal type[...] parameters (#27689)
Model exception flow with operation checkpoints (#27471)
Preserve constrained TypeVar types when slicing (#27645)
Preserve enum attributes on Self and bounded type variables (#27644)
Preserve enum exhaustiveness with custom _missing_ methods (#27700)
Preserve literal-string origin in comparison narrowing (#27582)
Resolve generic type aliases subscripted inside type[] (#27663)
Restrict equality impossibility to static bounds (#27655)

Performance

Avoid deriving sequents for type variables with concrete bounds (#27587)

Contributors

`v0.0.70`

Compare Source

Released on 2026-08-10.

LSP server

Enable and downrank auto-import completions from stub-only modules (#27433)
Fix signature help at end of file (#27622)
Normalize type labels in structured docstrings (#26923)
Preserve typing-only completion ranking in TYPE_CHECKING blocks (#27549)

CLI

Avoid deadlock when scheduling watch checks (#27605)

Diagnostics

Add an opt-in unsound-return-statement lint (#27561)
Add an opt-in unsound-yield lint (#27593)
Diagnose invalid __getattr__ calls (#27502)
Diagnose invalid descriptor __get__ calls (#27400)

Core type checking

Consider object members in protocol comparisons (#27532)
Exclude quantified constraints from semantic type walks (#27613)
Expand Generator aliases when evaluating return, send, and yield types (#27577)
Infer precise TypedDict key-membership truthiness (#27579)
Infer variance through type[T] (#27534)
Preserve contextual inference for declarations in loops (#27594)
Recognize overlapping NewType types and their underlying values (#27522)
Require ClassVar declarations for protocol members (#27530)
Stabilize recursive gradual type alias materialization (#27563)
Support Annotated inside type[...] (#27629)
Validate augmented assignment stores (#27545)

Contributors

`v0.0.69`

Compare Source

Released on 2026-08-06.

Core type checking

isinstance narrowing for generic classes is now more gradual by default (#27308)

This new behavior is more similar to what other major type checkers do. For example:
```
def f(xs: object):
    if isinstance(xs, list):
        reveal_type(xs)  # now: `list[Unknown]`, before: `Top[list[Unknown]]`
```
Note: you might consider enabling analysis.strict-generic-narrowing
if you prefer the strictly correct behavior.

Contributors

@sharkdp

`v0.0.68`

Compare Source

Released on 2026-08-05.

Diagnostics

Preserve property getter call errors (#27509)
Simplify numeric tower displays (e.g., float over int | float) (#27406)
Suggest closing open TypedDict types for Mapping compatibility (#27512)

Core type checking

Avoid double inference of Unpack operands in Union (#27525)
Fix panic from mismatched OR-pattern bindings (#27533)

Contributors

`v0.0.67`

Compare Source

Released on 2026-08-05.

LSP server

Fix unused hints for OR-pattern captures (#27438)
Index match-pattern bindings as symbols (#27260)
Retain typing-only symbols in explicit completions (#27435)

Diagnostics

Preserve called types in intersection diagnostics (#27475)
Suppress unimported-reveal diagnostics in stub files and if TYPE_CHECKING blocks (#27508)

Configuration

Remove deprecated src.root setting in favor of environment.root (#27456)

Core type checking

Check property compatibility when matching class objects to protocols (#27402)
Fix constructor calls on narrowed type-variable intersections (#27493)
Fix specialization cycle with deferred TypeVar defaults (#27453)
Infer generic TypedDicts from unpacked TypedDicts (#27439)
Infer generic TypedDicts through synthesized constructor signatures (#27436)
Normalize unpacked callable signatures for assignability (#27450)
Preserve class type parameters through generic decorators (#27442)
Preserve generic class type variables in constructor inference (#27340)
Preserve return constraints for object-variadic callables (#27431)
Preserve return constraints for top callables (#27446)
Recover generic constructor types from failing overloads (#27460)
Reject Self with incompatible explicit receiver annotations (#27454)
Reject unhashable objects for Hashable protocols (#27441)
Reject unsupported dataclass_transform parameters (#27458)
Restore bottom callable subtyping for gradual prefixes (#27519)
Top-materialize is_dataclass type guard (#27455)
Validate constructor calls on unbounded type variables (#27449)

Performance

Avoid exponential slowdown copying narrowed TypedDict unions (#27492)

Contributors

`v0.0.66`

Compare Source

Released on 2026-08-03.

LSP server

Index with-statement targets as symbols (#27256)
Trigger signature help after completing callable with parentheses (#27084)

Library support

Pydantic: Recognize models installed on extra search paths (#27429)

Diagnostics

Detect __aenter__ and __aexit__ that do not return awaitables (#27414)
Diagnose dataclass fields after inherited defaults (#27327)
Emit diagnostic when specializing a non-generic class (#26883)
Improve error context for incompatible callable signatures (#27422)
Preserve forwarded expanded-variadic diagnostic sources (#27266)

Core type checking

Avoid over-materializing user-defined TypeIs return types (#26864)
Fix enum class container assignability (#27318)
Hide stub-only helpers from implicit builtin lookup (#27423)
Move Unknown out of the experimental ty_extensions API (#27430)
Preserve TypeVarTuple context during Generic recovery (#27381)
Preserve exact numeric types in covariant collections (#27311)
Reject ClassVar and Final qualifiers in NamedTuple fields (#27380)
Reject out-of-scope ParamSpec components (#27378)
Reject specializing non-generic subclasses (#27377)
Respect bounds and constraints in generic materializations (#27228)
Sync vendored typeshed stubs (#27401). Typeshed diff

Contributors

`v0.0.65`

Compare Source

Released on 2026-07-29.

LSP server

Support comprehension walruses in ID

❗ Important

✂ PR body was truncated to here.

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.

renovate Bot force-pushed the renovate/ty-0.x branch from 51ea519 to 81f13e3 Compare August 31, 2026 17:58

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.75~~ chore(deps): update dependency ty to >=0.0.76 Aug 31, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 81f13e3 to 0407492 Compare September 1, 2026 02:58

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.76~~ chore(deps): update dependency ty to >=0.0.77 Sep 1, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 0407492 to 984246c Compare September 3, 2026 02:56

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.77~~ chore(deps): update dependency ty to >=0.0.78 Sep 3, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 984246c to 8df4137 Compare September 8, 2026 01:08

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.78~~ chore(deps): update dependency ty to >=0.0.79 Sep 8, 2026

renovate Bot force-pushed the renovate/ty-0.x branch from 8df4137 to 3d507c8 Compare September 10, 2026 00:59

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.79~~ chore(deps): update dependency ty to >=0.0.80 Sep 10, 2026

chore(deps): update dependency ty to >=0.0.81

c8e4b42

renovate Bot force-pushed the renovate/ty-0.x branch from 3d507c8 to c8e4b42 Compare September 15, 2026 07:11

renovate Bot changed the title ~~chore(deps): update dependency ty to >=0.0.80~~ chore(deps): update dependency ty to >=0.0.81 Sep 15, 2026

Navigation Menu

Uh oh!

chore(deps): update dependency ty to >=0.0.81 - #139

chore(deps): update dependency ty to >=0.0.81#139
renovate[bot] wants to merge 1 commit into
mainfrom
renovate/ty-0.x

renovate Bot commented Aug 28, 2026 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

0 participants

Uh oh!

Conversation

renovate Bot commented Aug 28, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Release Notes

Bug fixes

CLI

Core type checking

Performance

Memory usage improvements

Contributors

Bug fixes

LSP server

Diagnostic improvements

Core type checking

Performance

Memory usage improvements

Contributors

Bug fixes

CLI

Diagnostic improvements

Core type checking

Performance

Memory usage improvements

Other changes

Contributors

Bug fixes

Preview features

Diagnostics

Core type checking

Performance

Contributors

Bug fixes

Core type checking

Performance

Contributors

Preview features

Bug fixes

LSP server

Core type checking

Performance

Contributors

Preview features

Bug fixes

LSP server

Documentation

Library support

Diagnostics

Core type checking

Contributors

Bug fixes

LSP server

Documentation

Diagnostics

Core type checking

Performance

Contributors

LSP server

Library support

Diagnostics

Core type checking

Performance

Contributors

Preview features

Library support

Diagnostics

Core type checking

Performance

Contributors

Library support

Diagnostics

Core type checking

Performance

Contributors

LSP server

CLI

Diagnostics

Core type checking

Contributors

Core type checking

renovate Bot commented Aug 28, 2026 •

edited

Loading