[Issue 9975] pointsTo asserts because of false pointer in union

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=9975



--- Comment #13 from monarchdodra at gmail.com 2013-06-18 11:21:51 PDT ---
(In reply to comment #12)
> OK, it's a bit longer. And yes it might fail in swap.
> 
> auto result = get("http://example.com").parseJSON.array.sort!((a, b) =>
> a["id"].uinteger < b["id"].uinteger)();
> 
> I added Andrei to the CC list, maybe he has a good idea how to solve this.

I just thought of another problem (which is in the original message): While we
might be able to special case named unions, we can't for anonymous unions. This
means that what we have right now (unless I'm missing information), is the best
we can do.

I'm really just wondering what business swap has asserting if there are
pointers to either of the members... Having such a pointer is a *sign* of
stink, but I don't think it is 100% certifiably wrong... in which case it
should not assert.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------