{"ast_node_type":"other","tokens":[{"end":94,"kind":"keyword","start":0,"text":"value.fold_with(&mut"}]}
            value.fold_with(&mut Resolver::new(self.fcx, span, self.body, false, &mut goals));
        let value =
        assert_eq!(goals, vec![]);