ruff
[ty] Remove `Specialization::display` (full)
#19682

Merged

[ty] Remove `Specialization::display` (full) #19682

sharkdp merged 1 commit into main from david/remove-specialization-display

[ty] Remove Specialization::display

244ca523

sharkdp added internal

sharkdp requested a review from

carljm 133 days ago

sharkdp added ty

sharkdp requested a review from

AlexWaygood 133 days ago

sharkdp requested a review from

dcreager 133 days ago

sharkdp changed the title ~~[ty] Remove Specialization::display~~ [ty] Remove `Specialization::display` (full) 133 days ago

MichaReiser approved these changes on 2025-08-01

sharkdp merged ade6a426 into main 133 days ago

sharkdp deleted the david/remove-specialization-display branch 133 days ago

Reviewers

MichaReiser

carljm

AlexWaygood

dcreager

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone