On 06/06/2014 8:52 AM, Alix Pexton wrote:


And the two DataAndView(1), being completely separated, do not have
the same tail.


Ah, Isee, that does kinda make sense ^^ A re-factoring we go...


However, the code that originally tripped over this issue had the call to sameTail in the struct's invariant, and I don't seem to be able to reproduce that with the obvious reduced code...

Still, Thanks!

A...

Reply via email to