[Issue 12024] [REG DMD2.065-b2] template instantiation for swap(SysTime, SysTime) fails

d-bugmail at puremagic.com d-bugmail at puremagic.com
Wed Jan 29 04:41:16 PST 2014


https://d.puremagic.com/issues/show_bug.cgi?id=12024



--- Comment #5 from monarchdodra at gmail.com 2014-01-29 04:41:14 PST ---
(In reply to comment #4)
> Actually, it contains a union between mutable and immutable. And unions imply
> that all guarantees are off.
> 
> So, maybe the solution would be to make swap allow an immutable field if it's
> in an union with a mutable field?

There is currently (AFAIK) no way to introspect that a member is part of an
anonymous union. It *could* make for a partial solution though, yes.

Also, aren't there cases where an union contains *all* const members?

In any case, yes, there is room for improvement.

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


More information about the Digitalmars-d-bugs mailing list