original.name="RecursiveType_Invalid_3"
======
>>> main.whiley
type expr is int | {int op, expr left, expr right}

function f(expr e) -> expr:
    return e

method test() -> expr:
    expr e = {op: 1, left: "HELLO", right: 2}
    return f(e)

---
E400 main.whiley 7,27:33