Issue with contracts and assertions

[Andre via Digitalmars-d-learn]

Am 23.05.2014 16:44, schrieb Rene Zwanenburg:
> On Friday, 23 May 2014 at 14:38:27 UTC, Andre wrote:
>> Am 23.05.2014 16:34, schrieb Rene Zwanenburg:
>> In case there is a reason that the assertion is not run,
>> if feels very dangerous for me that all assertions can be
>> disabled by mistake just by adding an interface to a class.
>>
>> At least a compiler messsage should be thrown to warn about
>> "useless" assertions
>>
>> Kind regards
>> André
>
> I completely agree. A quick search on the issue tracker shows there are
> some serious bugs involving in contracts and interfaces[0]. It's
> probably best to keep away from them until the situation improves.
>
> [0]:
> https://issues.dlang.org/buglist.cgi?quicksearch=in%20contract%20interface

): I found my issue: https://issues.dlang.org/show_bug.cgi?id=12321

I just think about whether it is possible to build a contracts library
similiar to C4J (Contracts 4 Java).
I like the classed based approach.

Kind regards
André