Comment by nurettin

Rust will generate a lot of guarding code similar to what ada does.