Liskov obviously does not only apply when inheritance is involved. It only seems that way from the perspective of very restricted languages in which two types a

Liskov obviously does not only apply when inheritance is involved. It only seems that way from the perspective of very restricted languages in which two types are not substitutable, if they are not linked by a declaration of inheritance (no matter how similar they are otherwise).