The compiler should enforce the constraints implied by @Overrides.
Specifically, the compiler should give an error if the annotated
method doesn't actually override a concrete method.