def test_tycon():
assert tycon(ty2) is ty2_ and tycon(unit) is unit_
def test_incty_construction_2():
inc_ty2 = ty2_[0, ...]
assert isinstance(inc_ty2, IncompleteType)
assert inc_ty2.tycon is ty2_
assert tycon(inc_ty2) is ty2_
assert inc_ty2.inc_idx == (0, Ellipsis)
def test_incfnty_construction():
assert isinstance(incfnty, IncompleteType)
assert tycon(incfnty) == fn