[Issue 15984] Interface contracts retrieve garbage instead of parameters

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Mon May 2 14:35:24 PDT 2016


--- Comment #5 from Stewart Gordon <smjg at iname.com> ---
(In reply to Denis Shelomovskij from comment #4)
> Thanks, I still can't remember how does current implementation of D
> contracts work.

It looks like it calls the base class's in contract and, if that fails, calls
the derived class's in contract?

>> But even better would be to add debugging output to I's in contract.
> Parameter contains garbage, I don't think there is any need to print it.

How do you establish that the parameter contains garbage (as opposed to any
other possible cause of what we're observing) without printing it?


More information about the Digitalmars-d-bugs mailing list