whiley_test_file 0.6.2

original.name="Coercion_Invalid_8"
======
>>> main.whiley

type urf1nat is (int n) where n > 0

type turf1nat is (int x) where x > 10

type wurf1nat is urf1nat | turf1nat

function f(wurf1nat x) -> int:
    return x

function g(int x) -> int:
    return f(x)

---
E400 main.whiley 12,13