Thread overview
[Issue 13537] Unions may break immutability
Nov 04, 2014
yebblies
Jan 02, 2016
Shriramana Sharma
Jul 17, 2016
Walter Bright
September 27, 2014
https://issues.dlang.org/show_bug.cgi?id=13537

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |accepts-invalid

--
October 02, 2014
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #1 from hsteoh@quickfur.ath.cx ---
Basically, immutable cannot be allowed to overlap with anything mutable, otherwise there will be a way to break the immutability guarantee.

--
November 04, 2014
https://issues.dlang.org/show_bug.cgi?id=13537

yebblies <yebblies@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |safe
                 CC|                            |yebblies@gmail.com

--
January 02, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

Shriramana Sharma <samjnaa@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |samjnaa@gmail.com

--
February 19, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #2 from hsteoh@quickfur.ath.cx ---
Unfortunately, fixing this may prove to be a challenge, because std.typecons.Rebindable uses a union of (possibly) immutable and mutable fields in order to achieve rebindability. Arguably, though, some kind of explicit cast ought to be required in that case.  Either that, or we impose the non-overlapping restriction only in @safe code, so that @system code can continue using unions to do black magic with immutability.

--
February 19, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

hsteoh@quickfur.ath.cx changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull

--- Comment #3 from hsteoh@quickfur.ath.cx ---
https://github.com/D-Programming-Language/dmd/pull/5467

--
July 17, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bugzilla@digitalmars.com

--- Comment #4 from Walter Bright <bugzilla@digitalmars.com> ---
Rebooted as:

https://github.com/dlang/dmd/pull/5940

--
July 19, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #5 from github-bugzilla@puremagic.com ---
Commits pushed to master at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/09ed87c973fbcb777806506f7e05fbed30a3f355 fix Issue 13537 - Unions may break immutability

https://github.com/dlang/dmd/commit/72077372aec4aa77899885fc5cffbdbc5d289021 Merge pull request #5940 from WalterBright/fix13537

fix Issue 13537 - Unions may break immutability

--
July 19, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

github-bugzilla@puremagic.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |FIXED

--
October 01, 2016
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #6 from github-bugzilla@puremagic.com ---
Commits pushed to stable at https://github.com/dlang/dmd

https://github.com/dlang/dmd/commit/09ed87c973fbcb777806506f7e05fbed30a3f355 fix Issue 13537 - Unions may break immutability

https://github.com/dlang/dmd/commit/72077372aec4aa77899885fc5cffbdbc5d289021 Merge pull request #5940 from WalterBright/fix13537

--