http://d.puremagic.com/issues/show_bug.cgi?id=6242
Summary: Disallow inoperant "in" contracts Product: D Version: D2 Platform: Other OS/Version: Mac OS X Status: NEW Severity: enhancement Priority: P2 Component: DMD AssignedTo: nob...@puremagic.com ReportedBy: and...@metalanguage.com --- Comment #0 from Andrei Alexandrescu <and...@metalanguage.com> 2011-07-02 21:21:52 PDT --- Consider: class A { void fun(int) {} } class B : A { void fun(int x) in { assert(x > 0); } body {} } In this case B's in contract is never called. The compiler should disallow the code. To make the code work, an empty "in" contract on A.fun should suffice. The error message should mention that. -- Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------