@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