syntax_data: {"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"self.add_term(t1);"}]}
source_snippet:                 self.add_term(t1);
context_before:             ty::PredicateKind::AliasRelate(t1, t2, _) => {
context_after:                 self.add_term(t2);