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