syntax_data: {"ast_node_type":"other","tokens":[{"end":27,"kind":"keyword","start":0,"text":"match"}]}
source_snippet:         match term.kind() {
context_before:     fn add_term(&mut self, term: I::Term) {
context_after:             ty::TermKind::Ty(ty) => self.add_ty(ty),