Demonstrates inheritance-based polymorphism where a concrete default
method is inherited unchanged alongside an abstract method that must
be overridden.
Demonstrates monomorphic dispatch: because PureBreedDog is
final, the JIT can devirtualize the call and invoke speak()
directly, without an itable/vtable lookup.