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