@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