@trusted considered harmful

[Michel Fortin]

On 2012-07-28 03:24:58 +0000, Michel Fortin <michel.fortin at michelf.ca> said:

> On 2012-07-28 00:08:28 +0000, "David Nadlinger" <see at klickverbot.at> said:
> 
>> @trusted in its current form needs to go. Its design is badly broken, 
>> as it leaks implementation details and encourages writing unsafe code.
> 
> @trusted is a dangerous thing. Since the first time I tried to use it, 
> I always found it troublesome. I agree it needs to be a scope. And for 
> backward compatibility, a @trusted function should be exactly the same 
> as a @safe function where the whole body is wrapped in a @trusted scope.

And when I say it "needs to be a scope", what I meat is a block. I 
don't think it should be a new scope unless someone finds a good reason 
for it (unsafe struct destructors?)


-- 
Michel Fortin
michel.fortin at michelf.ca
http://michelf.ca/