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

timon.gehr@gmx.ch changed:

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

--- Comment #1 from timon.gehr@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/lysfmrljbcvvfsprotag@forum.dlang.org

--