Skip to content

Drop redundant Pure parent traits in stdlib#24149

Merged
hamzaremmal merged 1 commit intoscala:mainfrom
dotty-staging:drop-redundant-pure
Oct 8, 2025
Merged

Drop redundant `Pure` parent traits in stdlib#24149
hamzaremmal merged 1 commit intoscala:mainfrom
dotty-staging:drop-redundant-pure

Commits

Commits on Oct 8, 2025