[Issue 13429] icmp (and friends) should be @nogc

[via Digitalmars-d-bugs]

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

--- Comment #3 from Infiltrator <lt.infiltrator at gmail.com> ---
I was wrong in closing this as INVALID; or at all.  I don't even know what I
was thinking.  Sorry for the noise.

--