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