DIP1028 - Rationale for accepting as is
Walter Bright
newshound2 at digitalmars.com
Sun May 24 09:47:37 UTC 2020
On 5/24/2020 2:29 AM, Panke wrote:
> I've always understood that the @safe, at trusted, at system machinery provides the
> following guarantee once all holes are fixed:
>
> If I have a memory corruption in my code than I need to only look at the
> @trusted and @system parts to find it.
>
> Marking whatevs @safe violates this, marking it @trusted does not.
It's a fair point, but without the source code the distinction is meaningless.
More information about the Digitalmars-d-announce
mailing list