[sinhpham]

Example: http://insanitybit.github.io/2016/05/30/beyond-memory-safety...

TL;DR: compile time checking that your state machine transition is correct.

[bmurphy1976]

Thanks, I'll take a look.