Re: The interface's 'in' contract passes if it makes a virtual function call

[bearophile via Digitalmars-d-learn]

Ali Çehreli:

Perhaps I am expecting too much from the current 'in' contract design and implementation. ;)

The "in contract" is named pre-condition, or precondition.

Bye,
bearophile