@trusted attribute should be replaced with @trusted blocks

Joseph Rushton Wakeling joseph.wakeling at webdrake.net
Thu Jan 16 18:10:16 UTC 2020

On Thursday, 16 January 2020 at 18:05:25 UTC, H. S. Teoh wrote:
> This is why I proposed that @trusted functions should *still* 
> be subject to @safe checks, only with the exception that 
> they're allowed to have embedded @system blocks where such 
> checks are relaxed (and these @system blocks are only allowed 
> inside @trusted functions).  So the @trusted is a visual marker 
> that it needs to be manually verified, but you still have the 
> benefit of the compiler automatically verifying most of its 
> body except for the (hopefully small) @system block where such 
> checks are temporarily suspended.

Hang on, have 3 of us all made the same proposal?  (OK, I just 
reiterated what I understood to be Steven's proposal, but ...:-)

I'll leave it to others to decide if we're great minds or fools 
or anything in between ;-)

More information about the Digitalmars-d mailing list