📝Conservative GC can relocate objects if their pointer does not occur on stack

If GC is conservative w.r.t how it scavenges the stack but is precise when scanning the heap (e.g., objects have type tag), it can still relocate objects if their pointer does not occur on stack.

Backlinks

📝 Servo’s GC types are only safe because GC is conservative
📝 § Garbage collection