syntax_data: {"ast_node_type":"other","tokens":[{"end":78,"kind":"keyword","start":0,"text":"///"}]}
source_snippet: /// See the documentation of `EvalCtxt::step_kind_for_source` for more details
context_before: /// their source. This is used to decide whether a cycle is coinductive.
context_after: /// about this.