@trusted attribute should be replaced with @trusted blocks

ag0aep6g anonymous at example.com
Thu Jan 16 21:11:26 UTC 2020

On Thursday, 16 January 2020 at 20:47:54 UTC, H. S. Teoh wrote:
> On Thu, Jan 16, 2020 at 02:18:09PM -0500, Steven Schveighoffer
>> The other option is to somehow use the compiler to enforce the 
>> semantic, like marking the *data* @system. In other words you 
>> are telling the compiler "I know that it's normally safe to 
>> change this tag, but in this case, you can't, because it will 
>> mess things up elsewhere".
> [...]
> So it's basically a way of tainting any code that touches the 
> data, such that you're not allowed to touch the data unless you 
> are @system or @trusted.
> By default, @safe comes with its own set of what constitutes 
> sensitive data, and operations on such data are rightfully 
> restricted.  Allowing the user to tag data as sensitive seems 
> to be a logical extension of @safe.

For reference, here's the upcoming DIP:


More information about the Digitalmars-d mailing list