[Issue 7316] the result of a strongly pure function should implicitly convert to and from shared

[d-bugmail at puremagic.com]

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

timon.gehr at gmx.ch changed:

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

--- Comment #1 from timon.gehr at 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

--