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...