original.name="Tuple_Invalid_4"
js.execute.ignore=true
======
>>> main.whiley
type nat is (int n) where n >= 0
type pair is {int first, nat second}

function get(pair p) -> (int f, int s):
    return p.first, p.second

function min(pair p) -> int:
    int x
    int y
    (x,y) = get(p)
    if x > y:
        return y
    else:
        return x

public export method test():
    int m = min({first: 1, second: -1})
---
E702 main.whiley 17,16:37
E716 main.whiley 17,12:38