syntax_data: {"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// *provisionally*. In particular, we proved that `Bar<T>: Send`
context_before: /// "proven" `Bar<T>: Send`, we have in fact only proven it
context_after: /// *under the assumption* that `Foo<T>: Send`. But what if we later