reveal_type() may affect inferred type / overload resolution

The first filter call below generates an error when using --py2, but the same call without reveal_type(...) is fine:

from typing import Any, List

a = 0  # type: Any

x = filter(None, reveal_type(a))  # type: List[str]  # Error
x2 = filter(None, a)  # type: List[str]  # No error

The error message is Incompatible types in assignment (expression has type "Tuple[<nothing>, ...]", variable has type "List[str]").

reveal_type should have no effect on inferred types, since it's often used to diagnose issues with type inference.

Beginne mit dem bereitgestellten Python-Reproducer unter Verwendung von --py2 und vergleiche filter(None, reveal_type(a)) mit filter(None, a) sowie dem gemeldeten Zuweisungsfehler. Verfolge, wie sich reveal_type auf die abgeleiteten Typen und die Auflösung von Overloads auswirkt; fertig ist die Arbeit, wenn beide Aufrufe dasselbe abgeleitete Ergebnis liefern und reveal_type weiterhin ausschließlich diagnostisch ist.