def test_annotate_1(): def f(): return eraseX(X()) a = make_annotator() s = a.build_types(f, []) assert s == _some_erased()
def test_union(): s_e1 = _some_erased() s_e1.const = 1 s_e2 = _some_erased() s_e2.const = 3 assert not annmodel.pair(s_e1, s_e2).union().is_constant()