GSoC 2016 - Precise GC

[Jeremy DeHaan via Digitalmars-d-announce]

On Tuesday, 3 May 2016 at 19:05:22 UTC, jmh530 wrote:
> On Tuesday, 3 May 2016 at 18:15:20 UTC, Jeremy DeHaan wrote:
>>
>> I am reading a paper on how one could use extra information 
>> about what was last assigned to a union in order to scan them 
>> precisely. I haven't read the whole thing yet, but it looks 
>> like it could be done.
>>
>> Not sure if it is something I can get to in the course of my 
>> project though. Scanning only unions conservatively is still 
>> pretty good.
>
> Does it matter that @safe code does not allow unions of 
> pointers and non-pointers?

I'm not sure, but one would thing 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.