Poor inference of dict literal when dict type is unioned with certain types

Bug Report

To Reproduce

https://mypy-play.net/?mypy=master&python=3.11&gist=5cf1ab002a6dc63c5013fa0f6a00ba4d

Expected Behavior
I expect the dict literal to be inferred as dict[str, str |int] when passed to both foo and bar

Actual Behavior
It's inferred as dict[str, object] when passed to foo, which causes a false positive.

Note that the inference depends on the type you union the dict with. E.g. if you replace Iterable[tuple[str] with list[tuple[str]] you get the expected inference.

Your Environment

• Mypy version used: Tried 1.0.0, 1.0.1, 1.1.1, 1.2.0 and master in the playground, all have the same behavior
• Mypy command-line flags: See playground
• Mypy configuration options from mypy.ini (and other config files): See playground
• Python version used: 3.11

Beginne mit dem verlinkten mypy playground-Beispiel unter Verwendung von Python 3.11 und den gemeldeten Versionen, um die unterschiedliche Inferenz für foo und bar zu reproduzieren. Verfolge das Verhalten der Dict-Literal-Inferenz für Unions, die Iterable[tuple[str]] und list[tuple[str]] umfassen. Als erledigt gilt die Aufgabe, wenn das dict in beiden Aufrufen als dict[str, str | int] inferiert wird und ein Regressionstest diesen Fall abdeckt.