The complete fix for my fork and the mymath library.

cfcohen · Jul 17, 2022 · eee71ca · eee71ca
1 parent 09d8367
commit eee71ca
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/mypy/subtypes.py b/mypy/subtypes.py
@@ -118,6 +118,16 @@ def _is_subtype(left: Type, right: Type,
             return True
         elif is_named_instance(left, 'builtins.complex') and sright in number_types[:2]:
             return True
+    elif is_named_instance(left, 'builtins.float') and sright.startswith('mymath'):
+        if is_named_instance(right, 'mymath.number.OrderedReal'):
+            return True
+    elif is_named_instance(left, 'builtins.int') and sright.startswith('mymath'):
+        if is_named_instance(right, 'mymath.number.OrderedIntegral'):
+            return True
+        elif is_named_instance(right, 'mymath.number.OrderedRational'):
+            return True
+        elif is_named_instance(right, 'mymath.number.OrderedReal'):
+            return True
     orig_right = right
     orig_left = left
     left = get_proper_type(left)