[Feature Request] Docgen support for attributes on use/friend/constant constructs.

[brmataptos]

🚀 Feature Request

If such attributes are useful to Move programmers, then attributes on other language constructs should perhaps be supported in docgen: use statements, constant declarations, friend declarations.

Motivation

#7932 requested that attributes be included in docgen output for Module, Function, and Struct declarations. #8636 solves this issue.

But Move also supports attributes on other language constructs: at least package, use statements, constant declarations, friend declarations, and specs (see third_party/move/move-prover/move-docgen/tests/sources/attribute_placement.move for examples), but these were not handled yet because the data is not available in the current compiler.

Pitch

When the relevant declaration code is included in docgen (e.g., for use, constant, and friend declarations) then the associated annotation should be prepended (as it shows up in the source code).

Additional context

While this might be useful for completeness and orthogonality,

• It is not so easy to do with the current compiler, since attributes are not available on some language constructs in the AST passed to Docgen.
• It is not clear that attributes on those language constructs are useful to anyone.

[github-actions]

This issue is stale because it has been open 45 days with no activity. Remove the stale label or comment - otherwise this will be closed in 15 days.