syntax_data: {"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"tcx.mk_predicate(from.map_bound(PredicateKind::Clause))"}]}
source_snippet:         tcx.mk_predicate(from.map_bound(PredicateKind::Clause))
context_before:     fn upcast_from(from: ty::Binder<'tcx, ClauseKind<'tcx>>, tcx: TyCtxt<'tcx>) -> Self {
context_after:     }