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