Throw in a pre-condition of a nothrow function

[bearophile]

Currently this code compiles:

void foo() nothrow
in {
    throw new Exception(null);
} body {
}
void main() {
    foo();
}



Then at runtime throws:

object.Exception@test.d(3)
---------
0x00402044 in nothrow void test.foo() at ...
...


Is this good? Isn't the "nothrow" tag used by the compiler to 
better optimize functions?

Bye,
bearophile