https://issues.dlang.org/show_bug.cgi?id=12724
--- Comment #2 from monarchdodra at gmail.com ---
(In reply to Andrej Mitrovic from comment #1)
> Test-case?
//----
void foo(int i)
in
{
if (i == 0)
return;
assert(10/i > 1);
}
body
{
}
//----
--