https://issues.dlang.org/show_bug.cgi?id=15984
--- Comment #4 from Denis Shelomovskij <verylonglogin....@gmail.com> --- (In reply to Stewart Gordon from comment #3) > The posted code doesn't show the problem as I try (DMD 2.071.0 Windows). In > order to test it, one needs to make sure C's contract fails. (Though this > is down to another issue, bug 6857.) Thanks, I still can't remember how does current implementation of D contracts work. > But even better would be to add debugging output to I's in contract. Parameter contains garbage, I don't think there is any need to print it. --