Fix extension method while compiling for documentation in CI#6951

nicolasstucki merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-extension-method-under-documentationdotty-staging/dotty:fix-extension-method-under-documentationCopy head branch name to clipboard