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 { } //---- --