Re: Conservative GC isn't safe

[Stefan Monnier]

> How would you assert dynamically that if an interval is reachable, its
> owning string or buffer must be too?

You don't.  You check it statically (by a human).

> It's not enough for the variable holding the reference to the string
> or buffer to be in scope: you have to be sure that the reference
> isn't dead.

It should be: if it's in scope, it's not dead.


        Stefan