I've filed a summary of this conversation as an RFC issue on the GitHub issue tracker.
https://github.com/mozilla/rust/issues/9411 -Kevin _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
