On Tuesday, 10 February 2015 at 04:05:35 UTC, Andrei Alexandrescu
wrote:
On 2/9/15 8:03 PM, Zach the Mystic wrote:
You could put the 'trusted' template right in object.d, to
save people
the awkward burden of importing it from std.conv all the time.
But that
would be a language change, of sorts.
We won't define it. Instead we'll go with Steve's idea: ()
@trusted => expr. It's not much longer and it's a teensy bit
more awkward - exactly what the doctor prescribed. -- Andrei
Maybe, allow @trusted @safe functions, which will
1) like @safe, disallow direct use of unsafe operations
2) unlike @safe, allow @trusted blocks
3) mostly obey @safe codegen requirements and be hopefully a
little safer than plain @trusted functions
4) be reviewed as @trusted
