DIP 1003: remove `body` as a keyword

[Piotrek via Digitalmars-d-announce]

On Monday, 21 November 2016 at 20:59:32 UTC, Timon Gehr wrote:
>> How about this alternative ("in" and "out" blocks inside 
>> function body):
>>
>> void foo(int a)
>> {
>>     in
>>     {
>>         assert (a > 0);
>>     }
>>     out
>>     {
>>         (ret) assert(ret > 0);
>>     }
>>
>>     // body code
>>
>>     return a;
>> }
>>
>>
>> or for one-liners:
>>
>> void foo(int a)
>> {
>>     in assert (a > 0);
>>     out (ret) assert(ret > 0);
>>
>>     // body code
>>
>>     return a;
>> }
>>
>> BR,
>> Piotrek
>
> Won't work. Contracts are part of the function signature. 
> That's the point.

How does "auto" work? Can't the inner in&out be applied to the 
signature?

BR,
Piotrek