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?

Aucun fichier d’implémentation ni test n’est nommé. Commencez par suivre la manière dont mypy détermine si une fonction est vérifiée du point de vue des types et la manière dont il gère les annotations de retour explicites, puis comparez ce comportement avec l’exemple de l’issue et les issues référencées. Le travail sera considéré comme terminé lorsque les fonctions vérifiées inféreront une union de leurs expressions de retour et que les implications en matière de performances et de mise en cache seront comprises.