Rvalue references - The resolution

[Walter Bright]

On 5/4/2013 3:03 PM, deadalnix wrote:
>> Where you miss the point, is that these annotations may be omitted (and they
>> are most of the time). When nothing is specified, the lifetime of the returned
>> reference is considered to be the union of the lifetime of parameters
>> lifetime, which is what you want in 99% of cases.
>
> Note : We may also choose the lack of explicit lifetime means runtime check as
> proposed, instead of being an error.

D omits the check when it can prove that the returned ref is not a ref to one of 
the parameters that is local.

My other comments about 'scope ref' in the first posting in this thread apply as 
well to the Rust annotation scheme.