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: 
_ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _
C:\hostedtoolcache\windows\PyPy\2.7.18\x64\site-packages\hypothesis\core.py:563: in execute
    result = self.test_runner(data, run)
C:\hostedtoolcache\windows\PyPy\2.7.18\x64\site-packages\hypothesis\executors.py:56: in default_new_style_executor
    return function(data)
C:\hostedtoolcache\windows\PyPy\2.7.18\x64\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-win-x86-64 build #790*

test: annotator/test/test_model.py::test_union_commutative