syntax_data: {"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// "proven" `Bar<T>: Send`, we have in fact only proven it
context_before: /// However, there is a complication: at the point where we have
context_after: /// *provisionally*. In particular, we proved that `Bar<T>: Send`