[Issue 12321] New: Contracts of implemented interface method aren't called
d-bugmail at puremagic.com
d-bugmail at puremagic.com
Sat Mar 8 11:41:35 PST 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12321
Summary: Contracts of implemented interface method aren't
called
Product: D
Version: D2
Platform: x86_64
OS/Version: Linux
Status: NEW
Severity: major
Priority: P2
Component: DMD
AssignedTo: nobody at puremagic.com
ReportedBy: NCrashed at gmail.com
--- Comment #0 from NCrashed at gmail.com 2014-03-08 11:41:33 PST ---
DMD64 D Compiler v2.065
Contract isn't called:
```
interface IA
{
shared void foo();
}
synchronized class A : IA
{
void foo()
in
{
assert(false);
}
body
{
}
}
void main()
{
shared IA a1 = new shared A();
a1.foo();
}
```
--
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