DIP1028 - Rationale for accepting as is

[Timon Gehr]

On 25.05.20 14:22, Johannes T wrote:
> On Monday, 25 May 2020 at 11:52:27 UTC, Timon Gehr wrote:
>> On 25.05.20 11:25, Johannes T wrote:
>>> @trusted can't be trusted
>>
>> That's the point of @trusted. ._.
>>
>> The code is trusted by the programmer, not the annotation by the 
>> compiler.
> 
> Sorry, I phrased it poorly. I meant @trusted would be used more 
> frequently. The focus would spread and lead to less rigorous checks.

This is just not true. If the compiler forces you to decide to put 
either @trusted or @system, then you will not get more usage of @trusted 
than if it implicitly decides for you that what you want is implicit 
@trusted.