digitalmars.D.bugs - [Issue 12321] New: Contracts of implemented interface method aren't called
- d-bugmail puremagic.com (41/41) Mar 08 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12321
- d-bugmail puremagic.com (9/9) Mar 08 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12321
- d-bugmail puremagic.com (9/9) Mar 08 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12321
- d-bugmail puremagic.com (8/12) Mar 08 2014 https://d.puremagic.com/issues/show_bug.cgi?id=12321
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 puremagic.com ReportedBy: NCrashed gmail.com 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: -------
Mar 08 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12321 Can be duplicate of: [7517](http://d.puremagic.com/issues/show_bug.cgi?id=7517), [12247](http://d.puremagic.com/issues/show_bug.cgi?id=12247), [6856](http://d.puremagic.com/issues/show_bug.cgi?id=6856) -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Mar 08 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12321 Workaround: add empty in{} after interface method specification. ``` void foo() in {} ``` -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Mar 08 2014
https://d.puremagic.com/issues/show_bug.cgi?id=12321Workaround: add empty in{} after interface method specification. ``` void foo() in {} ```Unfortunately i harried up. This enables only unreachable code detection, but contract still isn't called. -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
Mar 08 2014