astral-sh/ruff

Pull Requests Commits

[ty] Separate constraint equivalence from structural dependencies

mtshiba committed 2 days ago

6a9fbd10

Revert "[ty] Preserve defining bounds in constraint solutions"

mtshiba committed 2 days ago

27328478

[ty] Preserve defining bounds in constraint solutions

mtshiba committed 2 days ago

cde7a0b7

[ty] Test self-references in inferred recursive unions

mtshiba committed 2 days ago

4580c8da

[ty] Solve recursive inference equations through constraint sets

mtshiba committed 3 days ago

91010947

[ty] Preserve dependency resolution in constraint solution paths

mtshiba committed 3 days ago

adb71eb9

[ty] Update recursive construction inference for the new solver

mtshiba committed 3 days ago

1b90d779

[ty] Check implicit aliases in recursive constraint solutions

mtshiba committed 3 days ago

398d4fe2

[ty] Reject unguarded recursive solutions through aliases

mtshiba committed 3 days ago

18698cc6

[ty] Construct recursive constraint solutions

mtshiba committed 3 days ago

18f7155d

Merge constraint solution dependency resolution

mtshiba committed 3 days ago

6489653c

Merge recursive-constraint-solutions into recursive-construction-inference

mtshiba committed 4 days ago

5701c580

[ty] Normalize reconstructed recursive constraint solutions

mtshiba committed 4 days ago

3a7c697a

Merge structural-recursive-aliases into recursive-constraint-solutions

mtshiba committed 4 days ago

8f6ad2b0

[ty] Share recursive comparison guards when normalizing tuples

mtshiba committed 4 days ago

9f347931

[ty] Preserve structure during recursive inference fallback

mtshiba committed 4 days ago

e1f3db9c

Merge recursive-constraint-solutions into recursive-construction-inference

mtshiba committed 4 days ago

48865932

[ty] Display recursive variables as $n

mtshiba committed 4 days ago

23ee64e4

[ty] Prevent inserting anonymous recursive types as annotations

mtshiba committed 4 days ago

73d08326

Merge recursive-constraint-solutions into recursive-construction-inference

mtshiba committed 4 days ago

baed3ef6

Merge structural-recursive-aliases into recursive-constraint-solutions

mtshiba committed 4 days ago

da31ef38

[ty] Document recursive mapping contracts

mtshiba committed 5 days ago

c8e8cebd

[ty] Remove redundant fresh type-mapping visitors

mtshiba committed 5 days ago

1eafdac4

Revert "[ty] Simplify unguarded recursive union alternatives"

mtshiba committed 5 days ago

eadc4c39

[ty] Simplify unguarded recursive union alternatives

mtshiba committed 5 days ago

6a186966

Merge upstream main

mtshiba committed 5 days ago

c5cfdda1

[ty] Identify recursive variables by cycle

mtshiba committed 5 days ago

e0e0207c

[ty] Check captured receivers when calling wrapped classmethods (#28467)

charliermarsh committed 5 days ago

Verified 0a24d1f1

[ty] Unwrap union alternatives in overload implementations (#28468)

charliermarsh committed 5 days ago

Verified 09a244ea

[ty] Fix cached classmethods on generic classes (#28207)

charliermarsh committed 5 days ago

Verified f70daaa1

Older