Output contract's arguements

[Joseph Rushton Wakeling]

On 19/09/13 17:25, bearophile wrote:
> Joseph Rushton Wakeling:
>
>> I don't see the value or purpose in excluding the final value of x from the
>> out checks -- it's useful to be able to check those values, too.
>
> Do you mean for all arguments, or just for the "out" ones?
>
> int foo(out int x) { ...

I don't see why it shouldn't be all ... ?