More radical ideas about gc and reference counting

[bearophile via Digitalmars-d]

Timon Gehr:

> (Probably more, actually, because it does not provide 
> precision-unfriendly constructs such as undiscriminated unions.)

I suggested to add an optional method named "onGC" to unions that 
if present is called at run-time by the GC to know what's the 
real type of stored data, to make tracing more precise.

Bye,
bearophile