original.name="Public_Invalid_7"
======
>>> main.whiley
type Hidden is (int x) where x >= 5

public method f(Hidden x) -> (int r):
    return 0


---
E411 main.whiley 3,16:21