Rust

Rust code that makes the wrong state fail to compile, tested in the build.