--- Comment #5 from Michel Fortin <> 2011-07-10 
07:02:27 EDT ---
> Simple, yes.  But is it correct?

It's a fix for the issue at hand. It doesn't fix other issues related to
contracts, but it doesn't degrade things either. If you want to fix all the
issues in one step though, I'm not stopping you.

> Why would it be an Error?

Because in general contract violations are errors. There's indeed a special
case for contracts of overriding functions, but does that justify creating a
new error type just for that case? I think it's more consistent if all
contracts throw ContractErrors than if some contracts throw ContractExceptions
and some other throw AssertErrors.

> Regardless of the correct fix, is this a blocker for you?

It's not a blocker: I made the problematic function @trusted for now.

Configure issuemail:
------- You are receiving this mail because: -------

Reply via email to