Trusted Manifesto

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Mon Feb 9 21:18:25 PST 2015


On 2/9/15 9:06 PM, Dicebot wrote:
> 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
>
> Erm. This was exactly how all those trustedFoo() nested functions have
> appeared - we wanted to localized unsafe operations with `() @trusted
> {}` but it wasn't properly inlined by DMD.

Correct. The new rules, however, prohibit using trusted code inside 
@safe functions. -- Andrei


More information about the Digitalmars-d mailing list