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

[MysticZach via Digitalmars-d]

On Thursday, 22 June 2017 at 21:41:55 UTC, MysticZach wrote:
>> The whole double parentheses is a bit ugly to me. Is there any 
>> problem with
>> out(return > 0)
>> instead of
>> out(r) (r > 0)

I'm sorry, I didn't read closely. I think that's just asking for 
trouble, wanting to use `return` as an identifier. Timon found a 
specific reason why, but in general contextual keywords are 
frowned upon for precisely this type of ambiguity in the meaning 
of the code.