[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