Fix #9369: Use new extension syntax#9373

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

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