[Issue 12294] New: CTFE fails with inherited in contract
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Mon Mar 3 12:04:20 PST 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12294
Summary: CTFE fails with inherited in contract
Product: D
Version: D2
Platform: All
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: druntime
AssignedTo: nobody at puremagic.com
ReportedBy: destructionator at gmail.com
--- Comment #0 from Adam D. Ruppe <destructionator at gmail.com> 2014-03-03 12:04:17 PST ---
class Foo {
int add(int a)
in { assert(a > 0); }
body { return a + 10; }
}
class Bar : Foo {
override int add(int a)
in { assert(a <= 0 || a > 0); }
body { return a + 10; }
}
void main() {
// contracts.d(4): Error: variable a cannot be read at compile time
//enum a = new Bar().add(-5); // error
enum b = new Foo().add(5); // works
}
Since both of them are int literals, it seems like it should work in CTFE, and
it indeed does with a simple case, but once inheritance gets involved, the
contract seems to get confused.
--
Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
More information about the Digitalmars-d-bugs
mailing list