syntax_data: {"ast_node_type":"function","tokens":[{"end":93,"kind":"keyword","start":0,"text":"pub"}]}
source_snippet:     pub fn for_predicate(binder: ty::Binder<I, ty::PredicateKind<I>>) -> FlagComputation<I> {
context_after:         let mut result = FlagComputation::new();