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.

Reply via email to