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

timon.g...@gmx.ch changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|---                         |INVALID

--- Comment #1 from timon.g...@gmx.ch ---
This enhancement was based on the assumption that conversions to immutable of
strongly pure function results are safe (as DMD currently allows it in @safe
code), but as John Colvin points out [1], this is not actually the case. The
same counterexample works here, therefore I am closing this as invalid.

[1] https://forum.dlang.org/post/lysfmrljbcvvfspro...@forum.dlang.org

--

Reply via email to