February 06, 2005 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----- |
Copyright © 1999-2021 by the D Language Foundation