Fix handling of Any in sumtypes

runtype/base_types.py

@@ -94,6 +94,8 @@ def create(cls, types):
             if isinstance(t, SumType):
                 # Optimization: Flatten recursive SumTypes
                 x |= set(t.types)
+            elif isinstance(t, AnyType):
+                return t
             else:
                 x.add(t)
 

runtype/pytypes.py

@@ -499,11 +499,11 @@ def _to_canon(self, t):
             t = _forwardref_evaluate(t, self.frame.f_globals, self.frame.f_locals, frozenset())
 
         if isinstance(t, tuple):
-            return SumType([to_canon(x) for x in t])
+            return SumType.create([to_canon(x) for x in t])
 
         if hasattr(types, 'UnionType') and isinstance(t, types.UnionType):
             res = [to_canon(x) for x in t.__args__]
-            return SumType(res)
+            return SumType.create(res)
 
         origin = getattr(t, '__origin__', None)
         if hasattr(typing, '_AnnotatedAlias') and isinstance(t, typing._AnnotatedAlias):

tests/test_types.py

@@ -186,6 +186,10 @@ def test_pytypes2(self):
             self.assertRaises(ValueError, type_caster.to_canon, typing.Tuple[int, str, ...])
 
 
+    def test_pytypes3(self):
+        assert Any + Int == Any
+        assert Int + Any == Any
+
 
     def test_canonize_pytypes(self):
         pytypes = [