[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 Iain Buclaw changed: What|Removed |Added Priority|P1 |P3 --

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 anonymous4 changed: What|Removed |Added Blocks||19916 See Also|https://issues.dlang.o

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 anonymous4 changed: What|Removed |Added See Also||https://issues.dlang.org/sh |

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 --- Comment #2 from Paul Backus --- Yes, because the data can still be modified by assigning a new value to the whole union. --- void oops() { U a = { y: 0 }; U b = { x: 1 }; assert(a.y == 0); a = b; assert(a.y == 1); } --- Stri

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 Bolpat changed: What|Removed |Added CC||qs.il.paperi...@gmail.com Hardware|x86_64

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 Chloé changed: What|Removed |Added CC||chloe...@use.startmail.com --- Comment #1 from Chloé

[Issue 21561] Unsafe aliasing of immutable union member allowed in @safe code

https://issues.dlang.org/show_bug.cgi?id=21561 Paul Backus changed: What|Removed |Added Keywords||safe --