[Issue 14125] std.file has gotten out of hand

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Wed Feb 4 17:25:18 PST 2015


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

--- Comment #25 from hsteoh at quickfur.ath.cx ---
@Walter: mechanical verification of @safe is precisely what we're trying to
leverage here. Given a large function body with 1 or 2 lines that need manual
review, would you rather mark the entire function as @trusted (thus requiring
review of the whole function *and* disabling mechanical @safe checks for the
other 498 lines of code that the compiler *could* have verified automatically),
or would you rather that the function is marked as @safe -- which imposes
mechanical verification of safety -- with the exception of a small @trusted
part that needs to be verified by hand?

--


More information about the Digitalmars-d-bugs mailing list