compiler support added for precise GC

[Timon Gehr]

On 04/17/2012 04:44 PM, deadalnix wrote:
...
>
> I don't see any need for runtime reflection here.
>
> If a type is serialized, at some point it have to be given to the lib,
> that can generate runtime information from compile time reflection
> capability. If the type is never serialized/deserialized, then runtime
> reflection is useless.

Assigning an object to a base class reference loses the relevant compile 
time information.

Object o = new A;
auto s = serialize(o); // library cannot know about 'A'