To help LDC/GDC

[deadalnix]

On Wednesday, 10 April 2013 at 15:48:43 UTC, Timon Gehr wrote:
> On 04/10/2013 05:43 PM, deadalnix wrote:
>> On Wednesday, 10 April 2013 at 11:29:42 UTC, Dicebot wrote:
>>> Except you can't be sure that your function is strongly pure 
>>> with
>>> current design. Add ref parameter into the mix by accident 
>>> and it will
>>> silently change to weak pure which is useless by its own.
>>
>> pure + immutable and value parameters == strongly pure (as in
>> functional). It is really that simple.
>
> pure notEntirely(){
>     return new Object();
> }
>
> auto x = notEntirely();
> assert(x is x);
> assert(notEntirely() !is notEntirely());

Yes, that is the entity vs value I discussed above n that thread. 
I should have said parameters AND return is a value.