syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// the same as for the child.
context_before:     /// to all nested goals of that nested goal are also inductive. Otherwise the paths are
context_after:     fn extend_from_child(&mut self, step_kind: PathKind, nested_goals: &NestedGoals<X>) {