Avoid cycle with top-level export and trait#13719

odersky merged 1 commit intoscala:masterscala/scala3:masterfrom

dotty-staging:toplevel-export-cycledotty-staging/dotty:toplevel-export-cycleCopy head branch name to clipboard