I'm looking at addressing #8888. Here is a possible solution ( https://github.com/mozilla/rust/issues/12358) - a variation on past proposals. I'd appreciate any comments.
Thanks, Nick
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
