syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:                     // hold, then `Bar<T>: Send` shouldn't hold. Therefore, we
context_before:                     // goals, it isn't in a cycle). If `Foo<T>: Trait` later doesn't
context_after:                     // *do* need to keep track of coinductive cycles.