you can also use this to prove that a block of code won't panic (only works when panics unwind): play.rust-lang.org?version=stab...
Rust Playground
A browser interface to the Rust compiler to experiment with the language
play.rust-lang.org
"we have linear types at home" play.rust-lang.org?version=stab...