Common scope for function's in{}, out(result){} and body{}

[bearophile via Digitalmars-d]

Ilya Yaroshenko:

> has common scope been already proposed?

Something related to it was proposed as possible way to implement 
the pre-state in the contract programming of D, it was the idea 
of having a common scope for in{} and out{} (but nothing has came 
out of the idea yet).

Bye,
bearophile