On 4/18/2014 10:54 AM, John Colvin wrote: > My understanding is that a more sophisticated GC will also not coexist quite so > peacefully with pointers of all types. Is it not the conservativeness* of the GC > that enables this coexistence? Yes. Which is one reason why D doesn't emit write gates for indirect assignment.