Improvement in pure functions specification

[Andrei Alexandrescu via Digitalmars-d]

On 12/20/2016 05:49 PM, Andrei Alexandrescu wrote:
> https://github.com/dlang/dlang.org/pull/1528 -- Andrei

Dropped the void functions. On to the next scandal:

>A function that accepts only parameters without mutable indirections and
>returns a result that has mutable indirections is called a $(I pure factory
>function). An implementation may assume that all mutable memory returned by
>the call is not referenced by any other part of the program, i.e. it is
>newly allocated by the function.


Andrei