@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