[Issue 13537] Unions may break immutability

2016-10-01 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #6 from github-bugzi...@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

--


[Issue 13537] Unions may break immutability

2016-07-19 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

github-bugzi...@puremagic.com changed:

   What|Removed |Added

 Status|NEW |RESOLVED
 Resolution|--- |FIXED

--


[Issue 13537] Unions may break immutability

2016-07-19 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #5 from github-bugzi...@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

--


[Issue 13537] Unions may break immutability

2016-07-17 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

Walter Bright  changed:

   What|Removed |Added

 CC||bugzi...@digitalmars.com

--- Comment #4 from Walter Bright  ---
Rebooted as:

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

--


[Issue 13537] Unions may break immutability

2016-02-19 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

hst...@quickfur.ath.cx changed:

   What|Removed |Added

   Keywords||pull

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

--


[Issue 13537] Unions may break immutability

2016-02-18 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

--- Comment #2 from hst...@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.

--


[Issue 13537] Unions may break immutability

2016-01-02 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

Shriramana Sharma  changed:

   What|Removed |Added

 CC||samj...@gmail.com

--


[Issue 13537] Unions may break immutability

2014-11-04 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

yebblies yebbl...@gmail.com changed:

   What|Removed |Added

   Keywords||safe
 CC||yebbl...@gmail.com

--


[Issue 13537] Unions may break immutability

2014-10-01 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

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

--


[Issue 13537] Unions may break immutability

2014-09-26 Thread via Digitalmars-d-bugs
https://issues.dlang.org/show_bug.cgi?id=13537

hst...@quickfur.ath.cx changed:

   What|Removed |Added

   Keywords||accepts-invalid

--