https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124200

--- Comment #4 from Thomas Berger <loki at loki dot codes> ---
Thanks, that helps a lot.

Regarding visibility: I couldn't find anything in N5032 regarding this issue.

[meta.reflection.access.queries] only cares about class members.
[meta.reflection.member.queries] is also not clear on this topic.

Or, to put this more in the words of the standard:

A declaration D of a member M of a namespace Q is Q-members-of-representable
(with respect to an evaluation context) if D is Q-members-of-eligible and it is
unspecified whether "members-of-precedes" includes
  declarations that are:
  - (a) reachable per [module.reach]
  - (b) exported per [module.interface]
  - (c) implementation-defined

Reply via email to