DIP 1009--Improve Contract Usability--Formal Review

[Moritz Maxeiner via Digitalmars-d]

On Wednesday, 30 August 2017 at 14:05:40 UTC, Mark wrote:
> [...]
>
> int abs(int x)
> out(_ >= 0)
> {
>     return x>0 ? x : -x;
> }

The ambiguity issue of having two results in one scope [1] 
applies.

[1] http://forum.dlang.org/post/oihbot$134s$1@digitalmars.com