Mypy degrades inferred generic return type from tuple[type[T], ...] to object

[Vanerio]

Bug Report
Mypy incorrectly treats generic return type inferred from tuple[type[T], ...] as object

To Reproduce

Gist URL
Playground URL

Expected Behavior

Variable is recognized as int | str

Actual Behavior

Mypy error:

Argument 1 to "func_b" has incompatible type "object"; expected "int | str" Mypy(arg-type)

Your Environment

• Mypy version used: 1.19.1
• Python version used: 3.14.0

[ilevkivskyi]

This is another case of union vs join situation. For tuples however union indeed may be a better inferred type.