skip uint64/signed int promotions

Author: ev-br

array_api_tests/test_set_functions.py

@@ -260,14 +260,22 @@ def test_unique_values(x):
 
 
 @given(
-    hh.arrays(dtype=hh.int_dtypes, shape=hh.shapes()),
-    hh.arrays(dtype=hh.int_dtypes, shape=hh.shapes()),
+    hh.arrays(dtype=hh.all_int_dtypes, shape=hh.shapes()),
+    hh.arrays(dtype=hh.all_int_dtypes, shape=hh.shapes()),
     hh.kwargs(invert=st.booleans())
 )
 def test_isin(x1, x2, kw):
   #  print("\nx1 = ", type(x1))
     print(x1.shape, x2.shape,  x1.dtype, x2.dtype, kw)
 
+    # uint64 promotion with signed integers is prohibited in the spec, but many
+    # array libraries allow it in an implementation-defined way
+    is_mixed_int_promotion = (
+        (x1.dtype == xp.uint64 and x2.dtype in dh.int_dtypes) or
+        (x2.dtype == xp.uint64 and x1.dtype in dh.int_dtypes)
+    )
+    assume(not is_mixed_int_promotion)
+
     repro_snippet = ph.format_snippet(f"xp.isin({x1!r}, {x2!r}, **kw) with {kw = }")
     try:
         out = xp.isin(x1, x2, **kw)