'Exercise back-propagation of refined list type.'

@tag('important')
def test_list_unify1(self):

    pyfunc = list_unify_usecase1
    cfunc = jit(nopython=True)(pyfunc)
    for n in [5, 100]:
        res = cfunc(n)
        self.assertPreciseEqual(res, pyfunc(n))
