original.name="RecordDefine_Valid_1"
======
>>> main.whiley
type Point is ({int y, int x} p) where p.x > 0 && p.y > 0

function f(Point x) -> Point:
    return x

public export method test() :
    Point p = f({y: 1, x: 1})
    assume p == {y: 1, x: 1}

---