Update collection strawman#3022

liufengyun merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:update-collection-strawmandotty-staging/dotty:update-collection-strawmanCopy head branch name to clipboard