DIP 36: Rvalue References

[Steven Schveighoffer]

On Tue, 23 Apr 2013 15:40:35 -0400, Timon Gehr <timon.gehr at gmx.ch> wrote:


> Safety should be guaranteed in @safe code. There is no point in  
> conservatively disallowing perfectly fine @system code on the basis of  
> safety concerns, unless, of course, the type system is advanced enough  
> to prove safe all relevant use cases.

I agree with this.  If @safe code is all that is affected, we will be well  
off.  We can also disallow known bad cases in non- at safe code.

-Steve