syntax_data: {"ast_node_type":"function","tokens":[{"end":81,"kind":"keyword","start":0,"text":"fn"}]}
source_snippet:     fn fold_predicate(&mut self, p: ty::Predicate<'tcx>) -> ty::Predicate<'tcx> {
context_after:         if let ty::PredicateKind::Clause(clause) = p.kind().skip_binder()