@trusted attribute should be replaced with @trusted blocks

[Ola Fosheim Grøstad]

On Thursday, 16 January 2020 at 14:46:15 UTC, Paul Backus wrote:
> On Thursday, 16 January 2020 at 10:58:33 UTC, IGotD- wrote:
>> Then we can remove @safe all together and trust the programmer 
>> to only use the safe subset of D.
>
> The difference between "a small subset of the program must be 
> manually verified in order to guarantee memory safety" and "the 
> entire program must be manually verified in order to guarantee 
> memory safety" is not insignificant.

If memory-safety is the default then you only need to mark 
functions and code blocks as unsafe. No need for @trusted or 
@safe.