syntax_data: {"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"self.add_wf_preds_for_negative_trait_pred(trait_ref);"}]}
source_snippet:             self.add_wf_preds_for_negative_trait_pred(trait_ref);
context_before:         if trait_pred.polarity == ty::PredicatePolarity::Negative {
context_after:             return;