Why do 'abstract' methods with 'in' or 'out' contracts require a body?

[bearophile via Digitalmars-d-learn]

Marc Schütz:

> "Functions declared as abstract can still have function bodies. 
> This is so that even though they must be overridden, they can 
> still provide ‘base class functionality.’"
>
> => it's intentional

But also they can not have.
I don't think it's intentional. I think it's a temporary 
limitation. Search in Bugzilla.

Bye,
bearophile