DIP1028 - Rationale for accepting as is

[Johannes T]

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.