def test_int_w_ann():
    a = RPythonAnnotator()
    s1 = a.build_types(int_w1, [str, W_Int])
    s2 = a.build_types(int_w1, [str, W_Str])
    assert (s1.knowntype == int)
    assert (s2.knowntype == int)
def test_int_w_ann():
    a = RPythonAnnotator()
    s1 = a.build_types(int_w1, [str, W_Int])
    s2 = a.build_types(int_w1, [str, W_Str])
    assert (s1.knowntype == int)
    assert (s2.knowntype == int)