DIP 1009--Improve Contract Usability--Preliminary Review Round 2 Begins

[Timon Gehr via Digitalmars-d]

On 21.07.2017 15:51, Mike Parker wrote:
> DIP 1009 is titled "Improve Contract Usability".
> 
> https://github.com/dlang/DIPs/blob/master/DIPs/DIP1009.md
> 
> Based on feedback from the first round, this DIP has been revised to the 
> extent that a second preliminary review round is warranted.
> 
> 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 August 4 (3:59 
> AM GMT August 5), or when I make a post declaring it complete.
> 
> At the end of Round 2, 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!


"in and out expressions must come at the end of the function declarator 
suffix, and before the regular contracts, if any"

The implementation actually allows all possible notations for contracts 
to be mixed freely. Whether or not 'do' is required depends on what 
notation is used by the last contract.