new DIP38: Safe references and rvalue references without runtime checks.

[deadalnix]

On Monday, 6 May 2013 at 18:52:36 UTC, Timothee Cour wrote:
> Abstract
>
> In short, the compiler internally annotates ref-return 
> functions with
> ref(i1,...,iN) indicating that the function may return argument 
> j
> (j=i1...iN) by reference (possibly via field accesses), where j 
> is
> also a ref input argument. This list can be empty, and if the 
> function
> is a method or internal function, argument 0 refers to implicit 
> 'this'
> parameter. These annotations are used to validate/invalidate ref
> return functions that call such a ref return function. These
> annotations are also written in the automatically generated di
> interface files.
>
> See the DIP38 for more details and examples.

I agree on Andrei on that one. It breaks separate compilation 
model.