GSoC 2016 - Precise GC

[Jeremy DeHaan via Digitalmars-d-announce]

On Wednesday, 4 May 2016 at 12:42:30 UTC, jmh530 wrote:
> On Wednesday, 4 May 2016 at 02:50:08 UTC, Jeremy DeHaan wrote:
>>
>> I'm not sure, but one would think that @safe code wouldn't 
>> need any extra information about the union. I wouldn't know 
>> how to differentiate between them though during runtime. 
>> Probably someone with more experience with the compiler would 
>> know more about that kind of thing.
>
> You can identify safe functions with
> https://dlang.org/phobos/std_traits.html#isSafe
> or
> https://dlang.org/phobos/std_traits.html#functionAttributes

All I meant was that I don't know enough about what the compiler 
does with built in types to make this work. It almost sounds like 
we would need a safe union and unsafe union type and do some 
extra stuff for the unsafe union, but I'm just starting to learn 
about this stuff.