From 580ebd88c311cdcbbbb430b430c45795e618bd74 Mon Sep 17 00:00:00 2001 From: Dmitrii Naumenko Date: Thu, 19 Aug 2021 18:03:11 +0300 Subject: [PATCH] update export.md: clarify that constructor proxies and members created by an export are also exported --- docs/docs/reference/other-new-features/export.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/docs/docs/reference/other-new-features/export.md b/docs/docs/reference/other-new-features/export.md index a5918fdf93ca..84ab232cb01d 100644 --- a/docs/docs/reference/other-new-features/export.md +++ b/docs/docs/reference/other-new-features/export.md @@ -61,6 +61,10 @@ of one of the following forms: - A _given selector_ `given x` has an optional type bound `x`. It creates aliases for all eligible given instances that conform to either `x`, or `Any` if `x` is omitted, except for members that are named by a previous simple, renaming, or omitting selector. - 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. A member is _eligible_ if all of the following holds: