Making illegal states unrepresentable

https://corrode.dev/blog/illegal-state/

Discussions: https://discu.eu/q/https://corrode.dev/blog/illegal-state/

#compsci #plt #programming #rustlang