Status: IN
Under LSP, preconditions cannot be strengthened in the subtype, and postconditions and invariants cannot be weakened in the subtype.
Source: entries/2026/06/17/liskov-substitution-principle.md
JSON