Incorrect type inference with Union[Any, Any]

Bug Report

Mypy infers an overly specific type for code that (for example) adds 1 to an argument of type Union[Any, Any].

To Reproduce

Run mypy against the following code:

from typing import Any, Union

def function(arg: Union[Any, Any]) -> None:
    reveal_type(1 + arg)

Expected Behavior

The revealed type is Any or Union[Any, Any].

Actual Behavior

The revealed type is builtins.int, which is incorrect (e.g. when arg is a float, or a numpy array).

Note that reveal_type(arg + 1) does return Any.

Your Environment

• Mypy version used: 0.812
• Mypy command-line flags: (none)
• Mypy configuration options from mypy.ini (and other config files): (none)
• Python version used: 3.7.3
• Operating system and version: Ubuntu 18.04

Es wird keine Quelldatei oder kein Testpfad genannt. Starte damit, mypy auf dem bereitgestellten Python-Snippet auszuführen, und vergleiche reveal_type für 1 + arg mit arg + 1. Verfolge anschließend den Typinferenzpfad für Union[Any, Any]. Abgeschlossen ist die Aufgabe, wenn ein Regressionstest das erwartete Any-Ergebnis erfasst und die relevanten Type-Checker-Tests erfolgreich sind.