[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #5 from Rob --- Sorry, please disregard comments 2 and 3, was mistaken about base class method contract applying to a derived method with no contract. --

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #4 from Rob --- Created attachment 1664 --> https://issues.dlang.org/attachment.cgi?id=1664=edit demonstrate the requirement for contracts in base in order to have them in derived --

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #3 from Rob --- Forgot return types on functions. Also, the function in Derived2 should have "override". --

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #2 from Rob --- In addition to class Base { myFunc() { } } class Derived : Base { myFunc(int a) in { assert(a >= 0); } body { } } getting a compile error. In the

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 --- Comment #1 from Rob --- *** Issue 17929 has been marked as a duplicate of this issue. *** --

[Issue 17930] [Contract Programming] 23.3 In, Out and Inheritance

https://issues.dlang.org/show_bug.cgi?id=17930 Rob changed: What|Removed |Added Keywords||contracts