syntax_data: {"ast_node_type":"impl","tokens":[{"end":69,"kind":"keyword","start":0,"text":"path_from_entry:"}]}
source_snippet:         path_from_entry: impl Into<AllPathsToHeadCoinductive> + Copy,
context_before:         head: StackDepth,
context_after:     ) {