@trusted attribute should be replaced with @trusted blocks

Timon Gehr timon.gehr at gmx.ch
Thu Jan 16 01:53:18 UTC 2020


On 16.01.20 02:43, Joseph Rushton Wakeling wrote:
> 
> Do you seriously not see any difference between an annotation that tells 
> you: "this function should be memory-safe, and the compiler will attempt 
> to validate this to the best of its ability" versus, "this function 
> should be memory-safe, but the compiler will not make any attempt to 
> validate that"?  And do you seriously not see any value in having that 
> distinction clear?

It's an implementation detail. If you care about the distinction, you 
should check out the function's implementation, not its signature.


More information about the Digitalmars-d mailing list