[Issue 13537] Unions may break immutability
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
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
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
https://issues.dlang.org/show_bug.cgi?id=13537 Walter Brightchanged: 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
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
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
https://issues.dlang.org/show_bug.cgi?id=13537 Shriramana Sharmachanged: What|Removed |Added CC||samj...@gmail.com --
[Issue 13537] Unions may break immutability
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
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
https://issues.dlang.org/show_bug.cgi?id=13537 hst...@quickfur.ath.cx changed: What|Removed |Added Keywords||accepts-invalid --