[Issue 6278] Regression(2.054 beta): 'in' contract inheritance doesn't work with safe code

[d-bugmail at puremagic.com]

http://d.puremagic.com/issues/show_bug.cgi?id=6278



--- Comment #3 from Michel Fortin <michel.fortin at michelf.com> 2011-07-10 06:28:53 EDT ---
A simple fix for this would be to add a flag for compiler-generated catch
blocks that'd allow bypassing @safe checks when appropriate. I wonder how it
works for scope(failure)...

And yes OutOfMemoryError shouldn't be caught by contracts. Adding a new
exception type would help, but I think ContractException should be
ContractError instead and be a subclass of Error.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------