Trusted Manifesto

[Kagamin via Digitalmars-d]

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