whiley_test_file 0.6.2

original.name="Coercion_Invalid_3"
======
>>> main.whiley
type pos is (int x) where x > 0
type nat is (int x) where x >= 0
type neg is (int x) where x < 0

function f({nat f} r) -> {pos f}|{neg f}:
    return r

---
E400 main.whiley 6,11