Skip to content

[ty] Disallow assignment to Final class attributes#19457

Merged
sharkdp merged 2 commits intomainfrom
david/final-attributes
Jul 21, 2025
Merged

[ty] Disallow assignment to Final class attributes#19457
sharkdp merged 2 commits intomainfrom
david/final-attributes

Commits

Commits on Jul 21, 2025