[Issue 18672] Error in @safe transitive propagation with associative arrays
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Mon Apr 2 22:44:46 UTC 2018
https://issues.dlang.org/show_bug.cgi?id=18672
--- Comment #4 from Seb <greensunny12 at gmail.com> ---
@RazvanN how about setting the opAssign to @trusted instead when we now that
the dtor is @safe?
The problem is that sd.dtor.isSafe() returns 0 :/
Maybe we need to go through semantic first before looking at this?
Also there seems to be an existing check for this already - it just doesn't get
triggered
```
stc = mergeFuncAttrs(stc, sd.dtor);
if (stc & STC.safe)
```
Well at least the high-level isSafe traits infers the safety correctly:
https://run.dlang.io/is/6ePqDY
--
More information about the Digitalmars-d-bugs
mailing list