Memory allocation purity

[Steven Schveighoffer via Digitalmars-d]

On Mon, 19 May 2014 14:49:41 -0400, Ola Fosheim Grøstad  
<ola.fosheim.grostad+dlang at gmail.com> wrote:

> On Monday, 19 May 2014 at 18:33:55 UTC, Steven Schveighoffer wrote:

>> Then you should have no problem producing an example, right?
>
> I did. Besides, I think language constructs should be proven sound a  
> priori, not post mortem...

Let me cut to the chase here. I haven't seen it. Let's not go any further  
until you can produce it.

-Steve