syntax_data: {"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// cycles. So, for example, a "proof tree" like this would be ok:
context_before: /// when solving auto traits. Auto traits are unusual in that they can support
context_after: ///