http://d.puremagic.com/issues/show_bug.cgi?id=10513
Summary: pure overriding method cannot call impure out contract
of base class
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Severity: major
Priority: P2
Component: DMD
AssignedTo: [email protected]
ReportedBy: [email protected]
--- Comment #0 from Henning Pohl <[email protected]> 2013-06-30 11:30:14
PDT ---
class C {
void foo() pure
out { }
body { }
}
class D : C {
override void foo() pure
{ }
}
---
main.d(8): Error: pure function 'main.D.foo' cannot call impure function
'main.C.foo.__ensure'
---
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
