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