original.name="UnionType_Invalid_7"
js.execute.ignore=true
======
>>> main.whiley
final int ADD = 1
final int SUB = 2
final int MUL = 3
final int DIV = 4

type bop is ({int op, int rhs, int lhs} r) where ADD <= r.op && r.op <= DIV

function f(bop b) -> bop:
    return b

public export method test():
    bop b = {op: 0, rhs: 2, lhs: 1}
    f(b)

---
E702 main.whiley 12,12:34
E718 main.whiley 12,12:34