Infering return type as a union of all returns in type-checked functions

Feature

Note: This is different than #4409 and #6646 which aim to change what is considered "annotated" and which functions are type-checked in the first place.

Mypy currently only type-check a function if its considered "annotated", ie: all parameters are annotated, or the return type is present (required for methods w/o parameters). Whilst mypy obviously can't infer a return type if it doesn't type-check the content of a function, I feel like methods that are checked could have their return type inferred as a union of whatever mypy think the type of the returns are.

Here's a very simple example comparing mypy and pyright/pylance

(same result in CLI)

Pitch

The idea would be to reduce clutter, and reduce the risk of hiding a useful true return type behind a more vague type.

Maybe there's a performance concern for libraries? (mypy having to read more code instead of stopping at a return annotation) How much is it? How much does caching help?

Es werden keine Implementierungsdateien oder Tests genannt. Beginne damit nachzuverfolgen, wie mypy entscheidet, ob eine Funktion typgeprüft wird und wie explizite Rückgabeannotationen verarbeitet werden, und vergleiche dieses Verhalten dann mit dem Beispiel des Issues und den referenzierten Issues. Als erledigt gilt die Aufgabe, wenn geprüfte Funktionen eine Union ihrer Rückgabeausdrücke inferieren und die Auswirkungen auf Performance und Caching verstanden sind.