> If you disagree consider what happens when a large tree is freed at the root. Isn't that an implementation detail of the GC itself? For example this RC algor

> If you disagree consider what happens when a large tree is freed at the root. Isn't that an implementation detail of the GC itself? For example this RC algorithm [1] (which detects cycles) can be implemented by tracking free and potentially free objects in their own special structure that can be evaluated incrementally. [1] https://dl.acm.org/doi/10.1145/1255450.1255453 https://dl.acm.org/doi/10.1145/1255450.1255453