Re: 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