def METHOD_NAME():
    @dace.program
    def reint_invalid(A: dace.float32[5]):
        C = A.view(dace.float64)
        C[:] += 1
    A = np.random.rand(5).astype(np.float32)
    try:
        reint_invalid(A)
        raise AssertionError('Program should not be compilable')
    except ValueError:
        pass