DIP 1006 - Preliminary Review Round 1

[Lewis via Digitalmars-d]

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?