annotator/test/test_model.py::test_union_commutative

@given(st_annotation, st_annotation)
>   @settings(max_examples=500, suppress_health_check=[HealthCheck.filter_too_much])
    def test_union_commutative(s1, s2):

annotator/test/test_model.py:184: 
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 
../virt_test/lib/python2.7/site-packages/hypothesis/core.py:563: in execute
    result = self.test_runner(data, run)
../virt_test/lib/python2.7/site-packages/hypothesis/executors.py:56: in default_new_style_executor
    return function(data)
../virt_test/lib/python2.7/site-packages/hypothesis/core.py:561: in run
    return test(*args, **kwargs)
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ 

s1 = SomeTuple(const=(nan,), items=(SomeFloat(const=nan),))
s2 = SomeTuple(const=(nan,), items=(SomeFloat(const=nan),))

    @given(st_annotation, st_annotation)
    @settings(max_examples=500, suppress_health_check=[HealthCheck.filter_too_much])
    def test_union_commutative(s1, s2):
        try:
            s_union = union(s1, s2)
        except UnionError:
            assume(False)
>       assert union(s2, s1) == s_union
E       assert SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)) == SomeTuple(const=(nan,), items=(SomeFloat(const=nan),))
E        +  where SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)) = union(SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)), SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)))

annotator/test/test_model.py:190: AssertionError
---------- Hypothesis ----------
Falsifying example: test_union_commutative(s1=SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)), s2=SomeTuple(const=(nan,), items=(SomeFloat(const=nan),)))

builder: rpython-linux-x86-64 build #885

test: annotator/test/test_model/py/test_union_commutative