syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// *under the assumption* that `Foo<T>: Send`. But what if we later
context_before: /// *provisionally*. In particular, we proved that `Bar<T>: Send`
context_after: /// find out this assumption is wrong?  Specifically, we could