On Friday, 11 March 2016 at 00:07:45 UTC, Jonathan M Davis wrote:
You're not using in or out contracts here at all, so so of course, you're not going to see how in/out contracts work with inheritance in this example. To quote http://dlang.org/spec/contracts.html:
Sigh...my point was that I was replacing the in/out contracts with what you were saying about asserts and scope(exit). Not that I have no idea what in/out contracts are.
I will review what you wrote.
