I realize that many things which help with prototyping go against Rust's usual focus on correctness.
When prototyping I'm OK with lots of implicit behaviors that move details out of the way. But these same features are problematic when debugging or verifying correctness of the code.
Rust doesn't like mess, but prototypes intentionally permit mess.
Maybe Rust could have an attribute like:
#![allow(quick'n'dirty)]