syntax_data: {"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"match"}]}
source_snippet:     match clause.kind().skip_binder() {
context_before:     // It's ok to skip the binder here because wf code is prepared for it
context_after:         ty::ClauseKind::Trait(t) => {