DIP 1003 Formal Review

[MysticZach via Digitalmars-d]

On Tuesday, 16 May 2017 at 15:22:12 UTC, Timon Gehr wrote:
> auto foo()in{
>     assert(true);
> }out{
>     assert(true);
> }{
>     return 3;
> }
>
> Are you really arguing for this?
> I don't want to write code like this.

It's not any better than this:

auto foo()in{
     assert(true);
}out{
     assert(true);
}body{
     return 3;
}

They are both bad, but not because of the presence or absence of 
the `body` keyword, in my opinion.