DIP 1009--Improve Contract Usability--Preliminary Review Round 1

[jmh530 via Digitalmars-d]

On Thursday, 22 June 2017 at 20:19:59 UTC, Timon Gehr wrote:
> On 22.06.2017 22:02, jmh530 wrote:
>> 
>> The whole double parentheses is a bit ugly to me. Is there any 
>> problem with
>> out(return > 0)
>
> out(a => {
>     void foo()out(b => a == b){ return a; }
>     return foo()>0;
> }());

I'm confused. The compiler should know that these returns are 
inside lambdas. Also, foo should not return void and I'm not sure 
what the extra set of parentheses are for at the end.