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