-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

# class MyClass{
#        invariant{
#               assert(0);
#         }
# }
#
# int main(){
#        MyClass c = new MyClass(); // *here*
#        return 0;
# }

No Exception is thrown.

test cases:
http://dstress.kuehne.cn/run/invariant_23.d
http://dstress.kuehne.cn/run/invariant_24.d

Thomas


-----BEGIN PGP SIGNATURE-----

iD8DBQFCBf+f3w+/yD4P9tIRAtAiAJ97gOtzFjoDPErUEiygPCXentYL+ACffJpV
RfapJs/XalKR6Z0JtILU024=
=TFwI
-----END PGP SIGNATURE-----