syntax_data: {"ast_node_type":"other","tokens":[{"end":15,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// itself.
context_before:     /// of a nested goal. This merges the heads after filtering the parent goal
context_after:     fn extend_from_child(&mut self, this: StackDepth, step_kind: PathKind, child: &CycleHeads) {