From 32fea42633d960d0fc904b0c33464e69cae3334e Mon Sep 17 00:00:00 2001
From: Roland Conybeare <rconybeare@gmail.com>
Date: Sat, 11 Apr 2026 16:51:52 -0400
Subject: [PATCH] xo-gc: bugfixes for GCObjectStore, unit test exapnded

In particular: drop casual assignment to DList.rest_,
will break acyclic assumption of DList.size()
---
 src/reader2/DExpectQListSsm.cpp | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/reader2/DExpectQListSsm.cpp b/src/reader2/DExpectQListSsm.cpp
index 5a570caa..184bcc41 100644
--- a/src/reader2/DExpectQListSsm.cpp
+++ b/src/reader2/DExpectQListSsm.cpp
@@ -182,7 +182,9 @@ namespace xo {
                         = DList::_cons(p_psm->expr_alloc(), lit, DList::_nil());
 
                     if (this->end_) {
-                        end_->assign_rest(new_last);
+                        /* DExpectQListSsm owns {start_, end_} -> preserves acyclic property */
+
+                        end_->_assign_rest(new_last);
 
                         this->end_ = new_last;
                     } else {