https://issues.dlang.org/show_bug.cgi?id=12550

--- Comment #4 from Steven Schveighoffer <[email protected]> ---
(In reply to monarchdodra from comment #3)

> Think of it as an option that makes as @safe code actually @trusted.

No. @trusted code is trusted because the developer guarantees it. @safe code is
@safe because the compiler guarantees it.

@safe code that has no bounds checks basically becomes unqualified code that
@safe code can call.

--

Reply via email to