syntax_data: {"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// they are coinductive) it is considered ok.
context_before: /// For non-auto traits, this cycle would be an error, but for auto traits (because
context_after: ///