Implementations of abstract methods can have supertype parameter types