syntax_data: {"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"path_from_head:"}]}
source_snippet:     path_from_head: PathKind,
context_before:     /// `heads` which tracks the path to the cycle head *from* this goal.
context_after:     result: X::Result,