DIP 1021--Argument Ownership and Function Calls--Final Review
newshound2 at digitalmars.com
Wed Sep 25 03:13:52 UTC 2019
On 9/24/2019 1:30 AM, Olivier FAURE wrote:
> The problem is, since the compiler can't check that non- at live functions conform
> to the @live invariants, it has to trust the developer, which severely weakens
> @safe (if nothing else, because it makes it possible for someone to do a memory
> corruption in a codebase with no @system or @trusted functions).
It wouldn't be any less safe than it is now. Remember, @live adds a layer of
more checking, not less.
More information about the Digitalmars-d