Extend MissingOverride to require @Override on "an explicitly declare…

Extend MissingOverride to require @Override on "an explicitly declare… #6681