Integrate the trait parameters reference into the specification#17393

bishabosha merged 1 commit intoscala:mainscala/scala3:mainfrom

dotty-staging:spec/trait-paramsdotty-staging/dotty:spec/trait-paramsCopy head branch name to clipboard