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