One doc tagged with "behavioral-compatibility"

Subtypes must be substitutable for their supertypes without breaking client code. Preserve behavioral contracts.