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