{"ast_node_type":"variable","tokens":[{"end":85,"kind":"keyword","start":0,"text":"let"}]}
                let prev = state.current_evaluation_scope().kind.replace(probe_kind);
            Some(DebugSolver::CanonicalGoalEvaluationStep(state)) => {
                assert_eq!(prev, None);