digitalmars.D.bugs - invariant not run after Object creation
-----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-----
Feb 06 2005








Thomas Kuehne <thomas-dloop kuehne.thisisspam.cn>