Contracts: Potential for improvements

[Andre via Digitalmars-d]

Hi,

after I attended a session for C4J (Contracts for Java)
I revisited the contracts functionality in D.

I tried to develop a very small example and failed early.
It seems just by using interfaces for your class, contracts
stopped working silently.

By reading the bug reports for contracts
https://issues.dlang.org/buglist.cgi?quicksearch=in%20contract%20interface
it seems there are serious issues when you use interface
or inheritance.

As Contract Programming is mentioned as the first item
in the DLang Reliability feature list there should be a roadmap
to get this feature working again.

Kind regards
André