These were supposed to unannotated, so revert changes

Also test using Any types as well, just in case.

Author: JukkaL

mypyc/test-data/run-dunders.test

@@ -545,6 +545,7 @@ def test_type_mismatch_fall_back_to_reverse() -> None:
     assert F()**G() == -6
 
 [case testDundersBinaryNotImplemented]
+# mypy: allow-untyped-defs
 from typing import Any, Union
 from testutil import assertRaises
 
@@ -595,16 +596,16 @@ def test_any_radd() -> None:
     assert d3 + e3 == 4
 
 class F:
-    def __init__(self, v: Any):
+    def __init__(self, v):
         self.v = v
 
-    def __add__(self, x: Any) -> Any:
+    def __add__(self, x):
         if isinstance(x, int):
             return self.v + x
         return NotImplemented
 
 class G:
-    def __radd__(self, x: Any) -> Any:
+    def __radd__(self, x):
         if isinstance(x, F):
             return x.v + 1
         if isinstance(x, str):
@@ -617,22 +618,35 @@ def test_unannotated_add() -> None:
     with assertRaises(TypeError, "unsupported operand type(s) for +: 'F' and 'str'"):
         o + 'x'
 
+    o2: Any = F(4)
+    assert o2 + 5 == 9
+    with assertRaises(TypeError, "unsupported operand type(s) for +: 'F' and 'str'"):
+        o2 + 'x'
+
 def test_unannotated_add_and_radd_1() -> None:
     o = F(4)
     assert o + G() == 5
 
+    o2: Any = F(4)
+    assert o2 + G() == 5
+
 def test_unannotated_radd() -> None:
     assert 'x' + G() == 'a'
     with assertRaises(TypeError, "unsupported operand type(s) for +: 'int' and 'G'"):
         1 + G()
 
+    o: Any = G()
+    assert 'x' + o == 'a'
+    with assertRaises(TypeError, "unsupported operand type(s) for +: 'int' and 'G'"):
+        1 + o
+
 class H:
-    def __add__(self, x: Any) -> Any:
+    def __add__(self, x):
         if isinstance(x, int):
             return x + 1
         return NotImplemented
 
-    def __radd__(self, x: Any) -> Any:
+    def __radd__(self, x):
         if isinstance(x, str):
             return 22
         return NotImplemented
@@ -644,6 +658,12 @@ def test_unannotated_add_and_radd_2() -> None:
     with assertRaises(TypeError, "unsupported operand type(s) for +: 'int' and 'H'"):
         1 + h
 
+    h2: Any = H()
+    assert h + 5 == 6
+    assert 'x' + h == 22
+    with assertRaises(TypeError, "unsupported operand type(s) for +: 'int' and 'H'"):
+        1 + h
+
 # TODO: Inheritance
 
 [case testDifferentReverseDunders]