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

--- Comment #2 from [email protected] ---
(In reply to Andrej Mitrovic from comment #1)
> Test-case?

//----
void foo(int i)
in
{
    if (i == 0)
        return;
    assert(10/i > 1);
}
body
{
}
//----

--

Reply via email to