I feel that I simply don't have the type-theoretic background to say anything definite about this. I'm going to change my stance from 'grumbling darkly in the background' to 'I guess you guys know what you're doing, I'm not objecting'...
> hopefully today I can come back with some data about how disruptive this is > to the existing codebase. Right. This is important. If a change end up introducing a lot of awfulness in existing code, that should be a reason to re-think it. _______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev