This looks like the Liskov substitution principle that Uncle Bob Martin described: Substitute a derived class (Square) for a base class (Rectangle). From the standpoint of the compiler, the above code ...