jit/metainterp/optimizeopt/test/test_intbound.py::test_are_knownbits_implied

@given(knownbits_and_bound_with_contained_number, strategies.data())
>   def test_are_knownbits_implied(t, data):

jit/metainterp/optimizeopt/test/test_intbound.py:966: 
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 
/opt/pypy2.7-v7.3.23-linux64/site-packages/hypothesis/core.py:563: in execute
    result = self.test_runner(data, run)
/opt/pypy2.7-v7.3.23-linux64/site-packages/hypothesis/executors.py:56: in default_new_style_executor
    return function(data)
/opt/pypy2.7-v7.3.23-linux64/site-packages/hypothesis/core.py:561: in run
    return test(*args, **kwargs)
jit/metainterp/optimizeopt/test/test_intbound.py:970: in test_are_knownbits_implied
    assert b.contains(n2)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 

self = IntBound(MININT, MININT + 1), value = -9223372036854775808L

    def contains(self, value):
        """
            Returns `True` iff this abstract integer contains the given `value`.
            """
    
        assert not isinstance(value, IntBound)
    
        if not we_are_translated():
>           assert not isinstance(value, long)
E           assert not True
E            +  where True = isinstance(-9223372036854775808L, long)

jit/metainterp/optimizeopt/intutils.py:1233: AssertionError
---------- Hypothesis ----------
Falsifying example: test_are_knownbits_implied(t=(IntBound(MININT, MININT + 1), -9223372036854775807), data=data(...))
Draw 1: -9223372036854775808L

builder: rpython-linux-x86-64 build #826*

test: jit/metainterp/optimizeopt/test/test_intbound.py::test_are_knownbits_implied