ruff
[ty] Improved diagnostic for reassignments of `Final` symbols
#19214
Merged

[ty] Improved diagnostic for reassignments of `Final` symbols #19214

sharkdp merged 1 commit into main from david/touchup-final-diagnostic
sharkdp
sharkdp [ty] Improved diagnostic for reassignments of `Final` symbols
19e920cd
sharkdp sharkdp requested a review from carljm carljm 70 days ago
sharkdp sharkdp requested a review from AlexWaygood AlexWaygood 70 days ago
sharkdp sharkdp requested a review from dcreager dcreager 70 days ago
sharkdp sharkdp added internal
sharkdp sharkdp added ty
sharkdp sharkdp added diagnostics
sharkdp
sharkdp commented on 2025-07-08
AlexWaygood
AlexWaygood approved these changes on 2025-07-08
github-actions
sharkdp sharkdp merged 1a099886 into main 70 days ago
sharkdp sharkdp deleted the david/touchup-final-diagnostic branch 70 days ago

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone