update export.md: clarify that constructor proxies are exported#13339

bishabosha merged 1 commit intoscala:masterscala/scala3:masterfrom

unkarjedy:patch-7unkarjedy/dotty:patch-7Copy head branch name to clipboard