ruff
[ty] Protocols: Fixpoint iteration for fully-static check
#17880

Merged

[ty] Protocols: Fixpoint iteration for fully-static check #17880

sharkdp merged 5 commits into main from david/fix-17861

sharkdp added ty

sharkdp force pushed from dc7f635f to e494ca3a 151 days ago

sharkdp commented on 2025-05-06

sharkdp marked this pull request as ready for review 151 days ago

sharkdp requested a review from

carljm 151 days ago

sharkdp requested a review from

AlexWaygood 151 days ago

sharkdp requested a review from

dcreager 151 days ago

AlexWaygood approved these changes on 2025-05-06

sharkdp force pushed from 8759d2d9 to 91fc949c 151 days ago

[ty] Protocols: Fixpoint iteration for fully-static check

e6f1ebb5

Avoid one clone()

8d4de412

Add new tests

822ff378

Get rid of SynthesizedProtocolTypeInner

ca5695b2

Add TODO comments for stack overflows

19a4bbae

sharkdp force pushed from 91fc949c to 19a4bbae 150 days ago

sharkdp merged 04457f99 into main 150 days ago

sharkdp deleted the david/fix-17861 branch 150 days ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone