Trusted Manifesto

[Zach the Mystic via Digitalmars-d]

On Tuesday, 10 February 2015 at 04:18:16 UTC, Zach the Mystic 
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
>
> People were worried about reliable inlining, but maybe the 
> compiler can just guarantee that somehow. Aren't we back where 
> we were before? The only addition we were recommending is the 
> equivalent of only allowing @trusted lambdas like the one above 
> in @trusted and @system functions, but not in @safe ones.

Hey, why use '@system' lambdas instead? They are already banned 
in @safe code.