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

type anat is (int x) where x >= 0

type bnat is (int x) where (2 * x) >= x

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

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

public export method test():
    f(1)

---
E604 main.whiley 13,4