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 at 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