syntax_data: {"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
source_snippet:     /// Pushes all the predicates needed to validate that `term` is WF into `out`.
context_after:     #[instrument(level = "debug", skip(self))]