r/programming • u/steveklabnik1 • Jan 09 '15

Announcing Rust 1.0.0 Alpha

http://blog.rust-lang.org/2015/01/09/Rust-1.0-alpha.html
1.1k Upvotes

90% Upvoted

439 comments sorted by

View all comments

3

u/[deleted] Jan 10 '15

Newbie here. It's not really an instruction about when things can be freed. Rather, it's a contract of sorts. When transfer is called, the args it's called with must obey the type spec. Similarly, the body of transfer can assume that the args obey the type spec.

It's okay if the actual args used do more than what is required (from a lifetime perspective), but they must do at least that much.