fixed examples for names of anonymous givens#13167

bishabosha merged 1 commit intoscala:mainscala/scala3:mainfrom

SrTobi:tobias/given-name-docsSrTobi/dotty:tobias/given-name-docsCopy head branch name to clipboard