whiley_test_file 0.6.2

original.name="Coercion_Invalid_4"
======
>>> 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[] p) -> ((pos[])|(neg[]) r):
    return p

---
E400 main.whiley 6,11