original.name="RecursiveType_Invalid_9"
whiley.compile.ignore=true
WhileyCompiler.issue=1143
======
>>> main.whiley
type neg is (int n) where n < 0
type pos is (int n) where n > 0
type exp1 is neg | {exp1 rest}
type exp2 is pos | {exp2 rest}
function f(exp1 e1) -> exp2:
return (exp2) e1
---
E718 main.whiley 11,11:12