> > The issue I mention above is not related to subtyping. > I > > don't understand how you made that connection. > > It's simple: an interface does not guarantee type safety: > the wrong class with the right interface can be at the > wrong place at the wrong time, thus creating havoc with > the program.
There are a couple problems with this argument. First is that it's and example of the 'no perfect solution fallacy'