DIP60: @nogc attribute

[John Colvin via Digitalmars-d]

On Friday, 18 April 2014 at 17:12:11 UTC, Walter Bright wrote:
> 3. I picked a GC for D because a GC coexists peacefully with 
> pointers of all types. This is not remotely true with ref 
> counting. It's not an issue with Java, which has no pointers, 
> but this coexistence problem would be a huge one for D.

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?

*not necessarily in the GC-jargon sense