On Friday, 8 August 2014 at 18:43:22 UTC, Vlad Levenfeld wrote:
Since the ship HAS sailed... why must contracts be elided with --release? Seems to me if asserts go away, then eliding in and out is redundant. It'd be nice if I could put all my recoverable pre and post conditions inside those blocks as well. Just for organization's sake.
An in or out block could have other code which is doing work in preparation for asserting rather than just assertions, so leaving them in wouldn't make sense.
- Jonathan M Davis
