syntax_data: {"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// the user source code (which would be a severe change to the language and
context_before:     /// in the context of the arm body. To avoid surfacing this distinction in
context_after:     /// require far more revision to the compiler), any occurrence of the