{"ast_node_type":"variable","tokens":[{"end":72,"kind":"keyword","start":0,"text":"let"}]}
                let goal = goal.with(ecx.cx(), ty::Binder::dummy(kind));
            self.enter_forall(kind, |ecx, kind| {
                ecx.add_goal(GoalSource::InstantiateHigherRanked, goal);