On Tue, 23 Apr 2013 15:40:35 -0400, Timon Gehr <timon.g...@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-@safe code.
-Steve
