D1: Error: function ... cannot have an in contract when overriden function

[Kagamin via Digitalmars-d-learn]

http://digitalmars.com/d/1.0/dbc.html
in is precondition, body is function body, which expects 
precondition to pass.