@Rainer Schuetze
I quote this (you have sent me somehow a private email)
If your invariant is called from the GC during finalization, it
might
have to do with the debugger executing code to show structs or
ranges.
Are you using the visualizer methods __debugOverView,
__debugExpanded,
etc.? Are ranges displayed in your Auto/Local/Watch windows?
No, I don't.
You can try to disable implicit code execution by the debugger
in
Tools->Options->Debugging->Mago by unchecking options "Call
struct/class..." and "Call range methods".
Yes, the option `Call range methods` causes the problem! Is that
still experimental in VisualD 1.2.0? Please do not enable it by
default then.