I also suspect that goto is missing not because of potential misuse, but because it's actually difficult to implement given all of Rust's other semantics.