No need to apologize. You are quite right, this is tricky and there's a good reason for the current design choices (perhaps there are better, but they are far from obvious). I wish I could put more time into deep thinking about this... which, of course, you can :-)
On Sat, Nov 9, 2013 at 12:32 AM, Patrick Walton <[email protected]>wrote: > On 11/8/13 2:19 PM, Brian Anderson wrote: > >> This thread is has been running off the rails a bit. Let's all please >> take a step back. This subject is one of the most subtle areas of Rust's >> type system, is in flux, and a lot of our plans about it are scattered >> across various places and passed around through informal conversation. >> It's understandable that there's confusion and debate here. >> > > Agreed, and again, my apologies. > > Patrick > > > _______________________________________________ > Rust-dev mailing list > [email protected] > https://mail.mozilla.org/listinfo/rust-dev >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
