syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"wf.add_wf_preds_for_trait_pred(t,"}]}
source_snippet:             wf.add_wf_preds_for_trait_pred(t, Elaborate::None);
context_before:         ty::ClauseKind::Trait(t) => {
context_after:         }