{"ast_node_type":"other","tokens":[{"end":69,"kind":"keyword","start":0,"text":"s.push_str(&encode_predicate(tcx,"}]}
        s.push_str(&encode_predicate(tcx, predicate, dict, options));
    for predicate in predicates {
    }