Implementing typestate

[Ola Fosheim Grostad via Digitalmars-d]

On Wednesday, 16 September 2015 at 06:25:59 UTC, Ola Fosheim 
Grostad wrote:
> On Wednesday, 16 September 2015 at 05:51:50 UTC, Tobias Müller 
> wrote:
>> Ola Fosheim Grøstad <ola.fosheim.grostad+dlang at gmail.com> 
>> wrote:
>> But you need non-copyable move-only types for it to work.
>
> Yes... But will it prevent you from doing two open() in a row 
> at compiletime?

Nevermind, it needs linear typing, not only move semantics...