If a pointer has an invalid target a debugger in VS shows the error
D0001: Error: Expression couldn't be evaluated
when I try to access it.
Is there a debugger function to trigger this access which can be used inside an invariant?
I can assert it by checking if the pointer address is far to low, but this doesn't always work.