http://d.puremagic.com/issues/show_bug.cgi?id=6278
Summary: 'in' contract inheritance doesn't work with safe code
Product: D
Version: D2
Platform: Other
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: DMD
AssignedTo: nob...@puremagic.com
ReportedBy: michel.for...@michelf.com
--- Comment #0 from Michel Fortin <michel.for...@michelf.com> 2011-07-09
22:00:30 EDT ---
This code yields an error about catching Throwable in safe code, yet no
throwable are caught (except maybe in compiler-generated code related to
contracts):
@safe:
class A {
int test()
in { assert(0); }
body { return 1; }
}
class B : A {
override int test() // Error: can only catch class objects derived from
Exception in @safe code, not 'object.Throwable'
in { assert(0); }
body { return 1; }
}
--
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
