{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".map(|pred|"}]}
                .map(|pred| {
                .into_iter()
                    self.fcx.resolve_vars_if_possible(pred).fold_with(&mut Resolver::new(