syntax_data: {"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"debug_assert!(matches!(self.heads[&head],"}]}
source_snippet:             debug_assert!(matches!(self.heads[&head], AllPathsToHeadCoinductive::Yes));
context_before:             self.insert(head, path_from_entry);
context_after:         }