Implement sealed type parameters#17422

odersky merged 5 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:change-cc-syntax-1dotty-staging/dotty:change-cc-syntax-1Copy head branch name to clipboard