http://d.puremagic.com/issues/show_bug.cgi?id=9229
--- Comment #1 from bearophile_h...@eml.cc 2012-12-28 01:29:27 PST ---
Some more rules. The use of private arguments is allowed in pre/post
conditions:
int foo(private int n = 1)
in {
return foo(5);
} body {
return n;
}
If an argument is private, it needs to be private in its
overriding/implementations too:
interface IFoo {
void foo(private int x = 5);
}
class Foo1 : IFoo {
void foo(int x = 6) {} // Error.
}
class Bar1 {
void foo(private int x = 7) {}
void bar(int x = 8) {}
}
class Bar2: Bar1 {
override void foo(int x = 7) {} // Error.
override void bar(private int x = 8) {} // Error.
}
void main() {}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
