update export.md: clarify that constructor proxies are exported

[unkarjedy]

Currently, the docs say:

A member is eligible if all of the following holds:
...
it is not a constructor, nor the (synthetic) class part of an object,

However, constructor proxies are exported and they are synthetic

related: #11128

[odersky]

That implies that only constructor proxies can be exported.

[unkarjedy]

Indeed it should have been appended to previous item as a note

[odersky]

However, constructor proxies are exported and they are synthetic

But constructor proxies are not the synthetic class part of an object. So the original wording is correct.

[unkarjedy]

@odersky
It still feels that constructor proxies could be mention somewhere more explicitly.

But constructor proxies are not the synthetic class part of an object. So the original wording is correct.

There is still this part in the docs:

A wildcard selector * creates aliases for all eligible members of path except for given instances, synthetic members generated by the compiler and those members that are named by a previous simple, renaming, or omitting selector.

Aren't constructor proxies also "synthetic members generated by the compiler"?

[unkarjedy]

Also regarding this part:

A wildcard selector * creates aliases for all eligible members of path except for given instances, synthetic members generated by the compiler and those members that are named by a previous simple, renaming, or omitting selector.
A member is eligible if all of the following holds:

Aren't the members, generated by the compiler for export clauses considered synthetic as well?

Currently, it's allowed to export already-exported members:

object Outer1:
  object Inner:
    def foo = 1

  export Inner._

  println(foo)

object Outer2:
  export Outer1._

  println(foo)

Maybe this case could also be clarified in the docs?

[odersky]

Yes, indeed. That sentence needs changing. Maybe:

A wildcard selector * creates aliases for all eligible members of path except for given instances, synthetic members generated by the compiler and those members that are named by a previous simple, renaming, or omitting selector.

Notes:

• eligible construtor proxies are also included, even though they are synthetic members.
• members created by an export are also included. They are created by the compiler, but are not considered synthetic.

[unkarjedy]

Great!
I will patch the working in the PR

[unkarjedy]

done

[bishabosha]

LGTM, thanks!

changes were addressed