Otherwise, duplicate diagnostics may be reported on subtypes of the type that actually declares the problematic override.