@trusted attribute should be replaced with @trusted blocks

Paul Backus snarwin at gmail.com
Thu Jan 16 15:12:07 UTC 2020


On Thursday, 16 January 2020 at 15:02:10 UTC, Ola Fosheim Grøstad 
wrote:
> 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.

This is a non-sequitur. Did you mean to respond to a different 
message?


More information about the Digitalmars-d mailing list