Escape analysis

[Andrei Alexandrescu]

Walter Bright wrote:
> Pure functions almost implicitly imply that its parameters are all 
> scoped. The exception is the return value of the pure function. If the 
> return value can contain any references that came from the parameters, 
> then those parameters are not scoped.

I think even the return value can be considered scoped. Essentially it 
does not leave the scope of the caller.

Andrei