Fix #9091: Drop deprecated extension method syntax#9093

smarter merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-#9091dotty-staging/dotty:fix-#9091Copy head branch name to clipboard