Conservative GC — treating anything pointer-shaped as a pointer — is how the Boehm collector retrofits GC onto C and C++; it ships inside GCC's Objective-C runtime, Mono, and inkscape. Understanding when a conservative scan retains garbage explains both its convenience and why precise VMs like V8 refuse it.