CWG3185 [decl.pre] static_assertion-declarations should not be name-declarations

[YexuanXiao]

Full name of submitter: Yexuan Xiao

Reference (section label): [decl.pre]

Link to reflector thread (if any):

Issue description: In the current wording, block-declaration includes static_assertion-declarations, and name-declarations include block-declaration, while [module.interface] considers all name-declarations as eligible to be declared as export. Therefore, static_assert-declarations are allowed to be declared as export.

Suggested resolution:

[jensmaurer]

CWG3185