Allocator troubles

[Enamex via Digitalmars-d]

On Friday, 15 July 2016 at 18:44:26 UTC, Luís Marques wrote:
> I'm not having success trying to use the allocator API.
>     void main()
>     {
>         [...]
>         enforce(alloc.make!int !is null);
>         enforce(alloc.deallocateAll());
>
>         enforce(alloc.make!int !is null);
>         writeln("OK 1");
>         [...]
>     }

I get a segmentation fault before "OK 1", actually. I'd have 
expected all enforce checks to pass in this snip, but they don't 
after the first `deallocateAll()` so I'm misunderstanding the 
semantics big time.