Polymorphism in Java is invariably subtype polymorphism. ... For example, a List abstraction ... That compile-time type checking acts as armor, ...

This is an example of compile time polymorphism. Inclusion polymorphism In method overriding, you have methods having identical signatures present in both the base and the derived classes.