{"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":".map(|pred|"}]}
                                .map(|pred| pred.clone().substitute(Interner, &substs))
                                .iter()
                                .filter(|wc| match wc.skip_binders() {