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