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.