[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 #2 from yebblies <yebblies at gmail.com> 2011-07-10 15:53:01 EST ---
(In reply to comment #1)
> Yep, the compiler generates a bunch of nested try {} catch {} blocks in the
> function preconditions.

I think the correct change here is to introduce a new exception type
(ContractException?) and hook the assert handler to throw this when inside
contracts.  Currently the compiler will take OutOfMemoryError as a contract
failure and happily continue.

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