Specialized traits design draft#21950

odersky wants to merge 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:specialized-traits-designdotty-staging/dotty:specialized-traits-designCopy head branch name to clipboard