ruff
[ty] Fix subtyping for dynamic specializations
#20592

Merged

[ty] Fix subtyping for dynamic specializations #20592

sharkdp merged 2 commits into main from david/fix-subtyping-for-dynamic-specializations

[ty] Fix subtyping for dynamic specializations

89de9239

sharkdp requested a review from

carljm 240 days ago

sharkdp requested a review from

AlexWaygood 240 days ago

sharkdp requested a review from

dcreager 240 days ago

sharkdp added ty

sharkdp commented on 2025-09-26

sharkdp added ecosystem-analyzer

AlexWaygood approved these changes on 2025-09-26

Remove the full optimization

af7d17d3

sharkdp merged 3932f7c8 into main 240 days ago

sharkdp deleted the david/fix-subtyping-for-dynamic-specializations branch 240 days ago

Reviewers

AlexWaygood

carljm

dcreager

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone