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