Should we eventually type check all function bodies by default?

One of the more surprising mypy features is that is doesn't type check functions without annotations (see #6643 for an example). New users are particularly likely to hit this issue, but it's generally easy to forget to annotate functions, especially those that don't take any arguments. Maybe we should type check all function bodies by default, and provide an option to fall back to the current behavior. We've made this behavior quite prominent in the documentation, but it still seems to confuse many users.

We'd probably want to reduce the number of false positives before making the switch, but this is something the mypy core team is planning to work on anyway. It may be useful to try to infer the return type automatically as well for this to provide the most benefits.

Thoughts?

Beginne damit, das hier beschriebene Verhalten und das Beispiel in Issue #6643 zu lesen, und prüfe anschließend die Dokumentation, die ungeprüfte Funktionskörper erklärt. Das Issue nennt keine Implementierungsdateien oder Tests; für den Abschluss wären ein festgelegter Ansatz für die standardmäßige Prüfung, eine Option für das aktuelle Verhalten und weniger False Positives erforderlich, wobei Tests und Dokumentation entsprechend aktualisiert werden müssten.