immutable bug?

[David Nadlinger]

On Sunday, 12 January 2014 at 00:50:30 UTC, Manu wrote:
> On 12 January 2014 04:52, Adam D. Ruppe
>> It shouldn't be here though... the reason it is implicitly 
>> convertable is
>> that pure means the result is unique.
> Can you explain how this is true?

I touched on the topic in a short section of my old purity 
article: 
http://klickverbot.at/blog/2012/05/purity-in-d/#_and___again

David