[Issue 14137] std.socket.getAddressInfo breaks @safety

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Mon Apr 18 06:51:43 PDT 2016


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

--- Comment #5 from github-bugzilla at puremagic.com ---
Commits pushed to master at https://github.com/dlang/phobos

https://github.com/dlang/phobos/commit/c35d4aa26efd0907ccb48d7406dffc50f470971c
Fix issue 14137: std.socket.getAddressInfo breaks @safe

Remove abuse of @trusted in template function getAddressInfo that cannot
guarantee that the incoming type argument is @safe. Localize @trusted
block of the function to the single call to getAddressInfoImpl(), so
that any @system code in T will be caught by the type system.

Add unittest to ensure such examples of T will be rejected at
compile-time.

Mark normal unittest for getAddressInfo as @safe to ensure that the
function body itself does not introduce any non- at safe code.

https://github.com/dlang/phobos/commit/8a3453129f57a9db19c15026d184fc4e9da18ac3
Merge pull request #4009 from quickfur/issue14137

Fix issue 14137: std.socket.getAddressInfo breaks @safe

--


More information about the Digitalmars-d-bugs mailing list