On Wednesday, 12 April 2017 at 11:25:09 UTC, Mike Parker wrote:
DIP 1006 is titled "Providing more selective control over
contracts".
https://github.com/dlang/DIPs/blob/master/DIPs/DIP1006.md
All review-related feedback on and discussion of the DIP should
occur in this thread. The review period will end at 11:59 PM ET
on April 26 (3:59 AM GMT), or when I make a post declaring it
complete.
At the end of Round 1, if further review is deemed necessary,
the DIP will be scheduled for another round. Otherwise, it will
be queued for the formal review and evaluation by the language
authors.
Thanks in advance to all who participate.
Destroy!
I have to ask the newbie question, just to make sure we're not
missing anything obvious. Why can't we fix invariants so that
they're pay-for-what-you-use? In other words, is there a way we
can make sure _d_invariant is never called (or early-outs) for
classes that don't use invariants?
