original.name="OpenRecord_Valid_5"
======
>>> main.whiley


type Point is {int y, int x, ...}

type VecPoint is Point[] | Point

function sum(VecPoint vp) -> int:
    if vp is Point:
        return vp.x + vp.y
    else:
        int r = 0
        int i = 0
        while i < |vp| where i >= 0:
            r = r + sum(vp[i])
            i = i + 1
        return r

public export method test() :
    VecPoint vp = {y: 2, x: 1}
    assume sum(vp) == 3
    vp = [{y: 2, x: 1}, {y: 4, x: -1}]
    assume sum(vp) == 6

---