> While this is attractive from the perspective of having the > right defaults, it also makes the semantics of the code at a glance more > subtle.
The semantics are not effected at all -- both with 'structurally immutable' and with immediate values, it is not observable whether the parameter was passed by value or by reference. But if you ignore the actual binary calling convention, you can think of this proposal as passing everything by reference. Immediates will in fact be passed by value, since this is more efficient, but the difference is not observable in regular, safe code. _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
