[lupire]

> the caller has to make sure that any value passed as a parameter to that function is never used anywhere else.

you mean the compiler, right?

[ChadNauseam]

The compiler checks that you don't write code where the caller disobeys that restriction :p