{"ast_node_type":"other","tokens":[{"end":71,"kind":"keyword","start":0,"text":"pred.as_ref().filter_map(|pred|"}]}
            pred.as_ref().filter_map(|pred| match pred.skip_binders() {
        .filter_map(|pred| {
                // FIXME: how to correctly handle higher-ranked bounds here?