{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"for"}]}
            for &(predicate, span) in predicates.predicates {
            // process predicates and convert to `RequiredPredicates` entry, see below
                match predicate.kind().skip_binder() {