mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-07-14 00:25:08 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2
ruff/crates/ty_python_semantic/resources/primer
History
Exact
Carl Meyer 2ae0bd9464
[ty] Normalize recursive types using Any (#19003) 
## Summary

This just replaces one temporary solution to recursive protocols (the
`SelfReference` mechanism) with another one (track seen types when
recursively descending in `normalize` and replace recursive references
with `Any`). But this temporary solution can handle mutually-recursive
types, not just self-referential ones, and it's sufficient for the
primer ecosystem and some other projects we are testing on to no longer
stack overflow.

The follow-up here will be to properly handle these self-references
instead of replacing them with `Any`.

We will also eventually need cycle detection on more recursive-descent
type transformations and tests.

## Test Plan

Existing tests (including recursive-protocol tests) and primer.

Added mdtest for mutually-recursive protocols that stack-overflowed
before this PR.
2025-06-30 12:07:57 -07:00
..
bad.txt [ty] Normalize recursive types using Any (#19003) 2025-06-30 12:07:57 -07:00
good.txt [ty] Normalize recursive types using Any (#19003) 2025-06-30 12:07:57 -07:00