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?