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