So, what is wrong with the polymorphism in my example? There is no polymorphism at all right? So my example does not relate to LSP at all, and so it can't violate it, right?
Yes.