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

No se nombra ningún archivo de código fuente ni ninguna ruta de prueba. Empieza ejecutando mypy en el fragmento de Python proporcionado y compara reveal_type para 1 + arg con arg + 1; después, sigue la ruta de inferencia de tipos para Union[Any, Any]. La tarea está terminada cuando una prueba de regresión capture el resultado Any esperado y las pruebas relevantes del comprobador de tipos pasen.