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