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: -------