Expand Capability types T to T^ only if no explicit capture set is given#21375

bracevac merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:capability-refinementsdotty-staging/dotty:capability-refinementsCopy head branch name to clipboard