Thanks, that explains it.Martin ----- Original Message ----- From: "Patrick Walton" And that's just a simple example: start throwing in existential types like traits and it becomes clear that you really can't tell from the program where mutation could possibly happen, because the types are hiding mutability from you. And that's fine--existential types and generics deliberately permit that abstraction But it does mean, I think, that we can't meaningfully talk about a sound and complete "mut" annotation at call sites.
Patrick
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
