Add spec section for `given` patterns reflecting existing semantics#19723

yilinwei wants to merge 3 commits intoscala:mainscala/scala3:mainfrom

yilinwei:given-spec-changesyilinwei/dotty:given-spec-changesCopy head branch name to clipboard