[Issue 22041] SumType assignments should work with pointers in @safe code

[d-bugmail at puremagic.com]

https://issues.dlang.org/show_bug.cgi?id=22041

Paul Backus <snarwin+bugzilla at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |snarwin+bugzilla at gmail.com
         Resolution|---                         |INVALID

--- Comment #2 from Paul Backus <snarwin+bugzilla at gmail.com> ---
This would allow undefined behavior in @safe code:

---
int n;

int example() @safe
{
    SumType!(int*, int) x = &n;
    return x.match!(
        (int n) => n,
        (ref int* p) {
            x = 123456789; // overwrites p (currently @system)
            return *p; // kaboom
        }
    );
}
---

--