whiley_test_file 0.6.2

original.name="ConstrainedRecord_Invalid_1"
js.execute.ignore=true
======
>>> main.whiley

type tup is {int y, int x}

type point is ({int y, int x} r) where (r.x > 0) && (r.y > 0)

function f(point p) -> point:
    return p

public export method test(): 
    tup z = {y: -2, x: 1}
    point p = f((point) z)
---
E702 main.whiley 11,16:24
E716 main.whiley 11,14:25