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?

実装ファイルやテストは指定されていません。まず、mypy が関数を型チェックするかどうかをどのように判断し、明示的な戻り値アノテーションをどのように処理するかを追跡し、次にその動作を issue の例および参照されている issues と比較してください。チェック対象の関数が戻り値の各式の union を推論し、パフォーマンスとキャッシュへの影響を理解できれば完了です。