Implementing typestate

[Ola Fosheim Grøstad via Digitalmars-d]

On Tuesday, 15 September 2015 at 20:34:43 UTC, Tobias Müller 
wrote:
>> There's a Blog post somewhere but I can't find it atm.
>
> Ok found it: 
> http://pcwalton.github.io/blog/2012/12/26/typestate-is-dead/

But that is for runtime detection, not compile time?