[Issue 16056] immutable delegate can mutate through context pointer
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Sun May 22 07:33:55 PDT 2016
https://issues.dlang.org/show_bug.cgi?id=16056
--- Comment #3 from ag0aep6g at gmail.com ---
(In reply to Eyal Lotem from comment #2)
> This is simpler -- but this simpler example isn't a bug: a pure func that
> takes a mutable delegate is "weakly pure" because it doesn't take an
> immutable argument. You could say that the simplified pure func takes an
> explicitly mutable argument, so it is known to be weakly pure.
pure_func's parameter isn't mutable. It's explicitly marked immutable.
--
More information about the Digitalmars-d-bugs
mailing list