Better message if override violates Liskov substitution principle

Some users don't understand why mypy complains about incompatible overrides. We could add an extra note in cases where the argument type is narrower in an override or the return type is wider (or all incompatible overrides). The note could mention Liskov substitution principle and add a link to mypy documentation (add a new section to https://mypy.readthedocs.io/en/latest/common_issues.html perhaps). We can also mention that # type: ignore[override] can be used to silence this error.

#7992 is an example where this came up, but several users have been confused about this.

Beginne damit, mypy's Verarbeitung der Diagnose incompatible-override zu lokalisieren und die im Issue verlinkte Dokumentation zu häufigen Problemen zu prüfen. Sieh dir Issue #7992 wegen des zugrunde liegenden Beispiels an. Als abgeschlossen gilt die Aufgabe, wenn die relevanten Override-Fälle das Liskov-Substitutionsprinzip erklären, auf die Dokumentation verlinken und die Option type-ignore für Overrides erwähnen und Tests die Meldung abdecken.