Yes, it's an extra keyword, but few use the term "require" as an identifier, and "require" has huge precedent.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
Yes, it's an extra keyword, but few use the term "require" as an identifier, and "require" has huge precedent.
Patrick _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev