#2 had never occurred to me. I think I lean toward it, since it has the potential to be a simpler implementation. (And you could even use it to clean up the crufty can't-happen errors that I introduced when I made fold able to fold into zero items.)
Paul
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
